Index: Doc/Makefile.in
===================================================================
--- Doc/Makefile.in.orig
+++ Doc/Makefile.in
@@ -40,7 +40,7 @@ INSTALL         = @INSTALL@
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVIPS = dvips
-TEXI2HTML = texi2html --output . --ifinfo --split=chapter
+TEXI2HTML = texi2html --output . --split=chapter
 
 .SUFFIXES: .yo .1