(Makefile): Rip out old partparse.py / texi2html.py stuff -- use latex2html

	instead!  Updated some comments.

diff --git a/Doc/Makefile b/Doc/Makefile
index 4f4e6349971c0c2ecae57763a5c0221c27338dfb..8149a425d09c637b61c357f3923ae54047760e7e 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -43,10 +43,7 @@
 # Additional targets attempt to convert selected LaTeX sources to
 # various other formats.  These are generally site specific because
 # the tools used are all but universal.  These targets are:
-#   l2h -- convert tut, ref, ext (but not lib!) from LaTeX to HTML
-#   lib.texi -- convert lib from LaTeX to Texinfo
-#   lib.info -- convert lib from Texinfo to Emacs INFO
-#   libwww -- convert lib from Texinfo to HTML
+#   l2h -- convert tut, lib, ext from LaTeX to HTML
 # See the README file for more info on these targets.
 
 # Customizations -- you *may* have to edit these
@@ -54,20 +51,11 @@
 # Where are the various programs?
 LATEX=         latex
 BIBTEX=                bibtex
-EMACS=         emacs
 DVIPS=         dvips -f
 MAKEINDEX=     makeindex
-PYTHON=                python
-MAKEINFO=      makeinfo
 L2H=           latex2html
 L2HARGS=       -address $$USER@`domainname`
 
-# Destination directory for output of libwww target.
-PARTPARSE=     $(PYTHON) ./partparse.pyc
-TEXI2HTMLFLAGS= -d
-TEXI2HTML=     $(PYTHON) ./texi2html.pyc
-LIBHTMLDIR=    ./python-lib
-
 # Install destination -- not used now but might be useful some time...
 DESTDIR=       /usr/local
 LIBDESTDIR=    $DESTDIR/lib
@@ -162,28 +150,6 @@ qua.ps:    qua.dvi
 # The remaining part of the Makefile is concerned with various
 # conversions, as described above.  See also the README file.
 
-.SUFFIXES: .py .pyc
-
-.py.pyc:
-       $(PYTHON) -c "import $*"
-
-.PRECIOUS:     lib.texi
-
-lib.texi: lib*.tex texipre.dat texipost.dat partparse.pyc fix.el
-       $(PARTPARSE) -o @lib.texi `./whichlibs`
-       $(EMACS) -batch -l fix.el -f save-buffer -kill
-       mv @lib.texi lib.texi
-
-python-lib.info: lib.texi
-       -$(MAKEINFO) --footnote-style end --fill-column 72 \
-                    --paragraph-indent 0 lib.texi
-
-lib.info: python-lib.info
-
-libwww: lib.texi texi2html.pyc
-       if test ! -d $(LIBHTMLDIR); then mkdir $(LIBHTMLDIR); else true; fi
-       $(TEXI2HTML) $(TEXI2HTMLFLAGS) lib.texi $(LIBHTMLDIR)
-
 # Targets to convert the manuals to HTML using Nikos Drakos' LaTeX to
 # HTML converter.  For more info on this program, see
 # <URL:http://cbl.leeds.ac.uk/nikos/tex2html/doc/latex2html/latex2html.html>.
@@ -207,10 +173,16 @@ l2hext: ext.dvi myformat.perl
        @rm -rf python-ext
        mv ext python-ext
 
+# The sed hack rips out a superfluous comma which I haven't found the source
+# of; the prominent location makes it worth the extra step.  This affects the
+# title page!
 l2hlib: lib.dvi myformat.perl
        ./fix_libaux.sed <lib.aux >@lib.aux
        mv @lib.aux lib.aux
        $(L2H) $(L2HARGS) lib.tex
+       sed 's/^<P CLASS=ABSTRACT>,/<P CLASS=ABSTRACT>/' \
+               <lib/lib.html >lib/xxx
+       mv lib/xxx lib/lib.html
        @rm -rf python-lib
        mv lib python-lib