Script to convert module index data to module index.
diff --git a/Doc/tools/modindex.py b/Doc/tools/modindex.py
new file mode 100755
index 0000000..f85b909
--- /dev/null
+++ b/Doc/tools/modindex.py
@@ -0,0 +1,62 @@
+#! /usr/bin/env python
+
+"""Script to convert raw module index data to module index."""
+
+import os
+import string
+import sys
+
+
+def parse_line(input):
+ lineno = string.split(input)[-1]
+ module = input[:len(input)-(len(lineno)+1)]
+ return module, lineno
+ return
+
+
+def cmp_items((s1, line1), (s2, line2)):
+ rc = cmp(string.lower(s1), string.lower(s2))
+ if rc == 0:
+ # Make the lower-case version come first since the upper-case
+ # version is usually a helper module for constants and such.
+ rc = cmp(s2, s1)
+ return rc
+
+
+def main():
+ if sys.argv[1:]:
+ infile = sys.argv[1]
+ else:
+ infile = "-"
+ if infile == "-":
+ ifp = sys.stdin
+ ofp = sys.stdout
+ sys.stdout = sys.stderr
+ else:
+ ifp = open(infile)
+ base, ext = os.path.splitext(infile)
+ outfile = base + ".ind"
+ ofp = open(outfile, "w")
+ ofp.write("\\begin{theindex}\n\n")
+ lines = ifp.readlines()
+ for i in range(len(lines)):
+ if lines[i][0] == '\\':
+ lines[i] = '\1' + lines[i]
+ lines = map(parse_line, lines)
+ lines.sort(cmp_items)
+ prev_letter = lines[0][0][0]
+ if prev_letter == '\1':
+ prev_letter = lines[0][0][1]
+ prev_letter = string.lower(prev_letter)
+ for module, lineno in lines:
+ if module[0] == '\1':
+ module = module[1:]
+ if string.lower(module[0]) != prev_letter:
+ ofp.write("\n \\indexspace\n\n")
+ prev_letter = string.lower(module[0])
+ ofp.write(" \\item {\\tt %s} %s\n" % (module, lineno))
+ ofp.write("\n\\end{theindex}\n")
+
+
+if __name__ == "__main__":
+ main()