diff options
| -rw-r--r-- | Doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 9651db4..cc20439 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -133,13 +133,14 @@ LIBFILES = lib.tex \ liblocale.tex libbasehttp.tex libcopyreg.tex # Library document -lib.dvi: modindex.py $(LIBFILES) +lib.dvi: modindex.py indfix.py $(LIBFILES) touch lib.ind touch modules.ind $(LATEX) lib ./modindex.py modules.idx ./fix_hack lib.idx $(MAKEINDEX) lib.idx + ./indfix.py lib.ind ./modindex.py modules.idx $(LATEX) lib |