From 467b6aec32e3fa0b2e9f09fa90a7a76f78d61eea Mon Sep 17 00:00:00 2001 From: Yann Dirson Date: Thu, 5 Dec 2013 21:19:06 +0100 Subject: [PATCH] Generate HTML doc using makeinfo, instead of obsolecent texi2html --- doc/Makefile.in | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) 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 -- 1.7.0.4