-
Fred Drake authored
an empty index instead of touched. Note that for modindex.ind, this also includes "\label{modindex}" so that the modindex.py script doesn't change the set of labels in the document. Be more consistent in use of $* in commands.
5ad78f39