Ok, remove dependency on the obsolete tools/modindex.py.

diff --git a/Doc/Makefile b/Doc/Makefile
index c01b15102d7934ef54d89dbf5867e9c046a46162..dabeb11911895defbd48576bb81dbb6ca8af54c1 100644 (file)
--- 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