From: Yann Dirson Date: Thu, 5 Dec 2013 20:19:06 +0000 (+0100) Subject: Generate HTML doc using makeinfo, instead of obsolecent texi2html X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=467b6aec32e3fa0b2e9f09fa90a7a76f78d61eea;p=gnushogi.git Generate HTML doc using makeinfo, instead of obsolecent texi2html --- 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