diff options
| -rwxr-xr-x | Doc/tools/modindex.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/modindex.py b/Doc/tools/modindex.py index 0209a1a3f6..263f0bf8d5 100755 --- a/Doc/tools/modindex.py +++ b/Doc/tools/modindex.py @@ -37,7 +37,7 @@ def main(): base, ext = os.path.splitext(infile) outfile = base + ".ind" ofp = open(outfile, "w") - ofp.write("\\begin{theindex}\n\label{modindex}\n\n") + ofp.write("\\begin{theindex}\n\n") lines = ifp.readlines() for i in range(len(lines)): if lines[i][0] == '\\': |