Change quoting of the "echo" commands yet again.... why can't shells agree?
Derive the name of the modules .idx from the jobname.
diff --git a/Doc/Makefile b/Doc/Makefile
index 1f6a4a4..d039e287 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -163,10 +163,10 @@
# Library document
lib.dvi: modindex.py indfix.py $(LIBFILES)
- echo '\\''begin{theindex}\end{theindex}' >$*.ind
- echo '\\''begin{theindex}\label{modindex}\end{theindex}' >modules.ind
+ echo '\\begin{theindex}\end{theindex}' >$*.ind
+ echo '\\begin{theindex}\label{modindex}\end{theindex}' >mod$*.ind
$(LATEX) $*
- ./modindex.py modules.idx
+ ./modindex.py mod$*.idx
./fix_hack $*.idx
$(MAKEINDEX) $*.idx
./indfix.py $*.ind