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 1f6a4a44629f548a9f3d59f62891b130a6531512..d039e287f6e579692de9d08eb2c67c5845e2d640 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -163,10 +163,10 @@ LIBFILES = lib.tex \
 
 # 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