Generate HTML doc using makeinfo, instead of obsolecent texi2html

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 7fd7993..03fbc90 100644 (file)
--- 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