diff options
Diffstat (limited to 'doc/www.gnu.org/docs')
| -rw-r--r-- | doc/www.gnu.org/docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/www.gnu.org/docs/Makefile b/doc/www.gnu.org/docs/Makefile index 30f86d208..1b7f8ca67 100644 --- a/doc/www.gnu.org/docs/Makefile +++ b/doc/www.gnu.org/docs/Makefile @@ -13,7 +13,7 @@ WML_SRC = $(patsubst ../../%, %, $(TEXI_SRC:.texinfo=.html)) $(wildcard *.wml) WML_OBJS = $(patsubst %.wml,%.html,$(WML_SRC)) %.html : %.texinfo - texi2html -monolithic $< + texi2html -monolithic --ifinfo --ifhtml $< # texi2html -monolithic $<; # cp $< $@ # echo '#!wml --include=..' > $@ |