better with LaTeX2HTML.
Run pdflatex twice to generate the PDF files, even though LaTeX has already
been run a couple of times. This ensures that font metrics for the final
run match those for the first run, and seesm to get (somewhat) better
outline results.
# only free software.
#
.dvi.pdf: $*.bkm
+ $(PDFLATEX) $*
$(PYTHON) tools/toc2bkm.py $*
$(PDFLATEX) $*
# Library document
lib.dvi: tools/indfix.py $(LIBFILES)
- rm -f $*.ind mod$*.ind
+ tools/newind.py >$*.ind
+ tools/newind.py modindex >mod$*.ind
$(LATEX) $*
$(MAKEINDEX) mod$*.idx
tools/fix_hack $*.idx
# Extending & Embedding, Python/C API documents.
# Done this way to avoid repeated command sets.
.tex.dvi:
- rm -f $*.ind
+ tools/newind.py >$*.ind
$(LATEX) $*
tools/fix_hack $*.idx
$(MAKEINDEX) $*.idx