Use texi2html and the CVS version of gendocs.sh to create HTML versions of the manual

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 232d2ea3935cfbcc9d90b18e1fd5fd83de6d855c..47c8ea845da126c3fe777c61207448f4454311b5 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -82,5 +82,5 @@ manual:
        TEXINPUTS=$(srcdir):$(top_srcdir)/build-tex:$(TEXINPUTS) \
         MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \
         TEXI2DVI="$(TEXI2DVI) -t @finalout" \
-       $(GENDOCS) tar 'GNU tar manual'
+       $(GENDOCS) --texi2html tar 'GNU tar manual'