summary refs log tree commit diff
path: root/Doc/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r--Doc/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index f1cbb3d8b..8b29a08ae 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -40,7 +40,7 @@ INSTALL         = @INSTALL@
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVIPS = dvips
-TEXI2HTML = texi2html -expand info -split chapter
+TEXI2HTML = texi2html --output . --ifinfo --split=chapter
 
 .SUFFIXES: .yo .1