no longer use texi2html. makeinfo --html has decent output.

diff --git a/cfg.mk b/cfg.mk
index ee607ddec60f872bda8d814be961194fc9ffbdfe..fd3a1e6c50d1e34c4c459ff832ed598396d2e132 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -124,7 +124,6 @@ web:
        echo generating documentation for $(PACKAGE)
        cd doc && $(SHELL) ../build-aux/gendocs.sh \
                --html "--css-include=texinfo.css" \
-               --texi2html \
                -o ../$(htmldir)/manual/ $(PACKAGE) "$(PACKAGE_NAME)"
        cd doc && cp *.png ../$(htmldir)/manual/html_node/
        #cd doc/doxygen && doxygen && cd ../.. && cp -v doc/doxygen/html/* $(htmldir)/devel/doxygen/ && cd doc/doxygen/latex && make refman.pdf && cd ../../../ && cp doc/doxygen/latex/refman.pdf $(htmldir)/devel/doxygen/$(PACKAGE).pdf