X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=doc%2FMakefile.in;fp=doc%2FMakefile.in;h=03fbc90b9bc60aa5e33f4d963827047c8f0d0706;hb=467b6aec32e3fa0b2e9f09fa90a7a76f78d61eea;hp=7fd79936e6a8369d1fdd95a3268fddabcd43ca98;hpb=4d9929fd417def4018cd25287ecd994ef5374d09;p=gnushogi.git

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 7fd7993..03fbc90 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -18,7 +18,7 @@ pdf:
 # texi2html.
 
 html:
-	texi2html -split_node $(SRCDIR)/gnushogi.texinfo
+	makeinfo --html --split=section $(SRCDIR)/gnushogi.texinfo
 
 ps: dvi
 	dvips -t letter gnushogi.dvi -o gnushogi.ps