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 0b8cab5eb..3374ea705 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -40,7 +40,7 @@ INSTALL         = @INSTALL@
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVIPS = dvips
-TEXI2HTML = texi2html --output . --ifinfo --split=chapter --node-files
+TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files
 
 .SUFFIXES: .yo .1