diff options
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index c01b151..dabeb11 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -168,7 +168,7 @@ LIBFILES = lib.tex \ libframework.tex libminiae.tex libbinhex.tex libuu.tex libsunaudio.tex # Library document -lib.dvi: tools/modindex.py tools/indfix.py $(LIBFILES) +lib.dvi: tools/indfix.py $(LIBFILES) rm -f $*.ind mod$*.ind $(LATEX) $* $(MAKEINDEX) mod$*.idx |