2023-10-15 16:22:06 +08:00
|
|
|
AM_MAKEINFOFLAGS = --no-split
|
|
|
|
|
2022-02-02 12:46:57 +08:00
|
|
|
info_TEXINFOS += %D%/porting.texi
|
2023-10-15 16:22:06 +08:00
|
|
|
|
|
|
|
html-local: %D%/porting/index.html
|
|
|
|
%D%/porting/index.html: %D%/porting.texi %D%/$(am__dirstamp)
|
|
|
|
$(AM_V_GEN)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \
|
|
|
|
--split=node $< -o $(@D)
|