X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-man-index.py;h=e09d62a5e875dd64eb6ec0d9fe5d32895b98846e;hp=1333521a589944a5526d4f13fc8a027ac28fb380;hb=8864111310fdcd2a3e14a06561214f7a756dbe6f;hpb=9c4fa6ed1069e98db5f01a5d1056b443a04cc7d9 diff --git a/make-man-index.py b/make-man-index.py index 1333521a5..e09d62a5e 100755 --- a/make-man-index.py +++ b/make-man-index.py @@ -1,19 +1,16 @@ #!/usr/bin/env python from xml.etree.ElementTree import parse, Element, SubElement, tostring -import sys +from sys import argv, stdout index = {} -for p in sys.argv[1:]: +for p in argv[1:]: t = parse(p) - section = t.find('./refmeta/manvolnum').text; + section = t.find('./refmeta/manvolnum').text + purpose = t.find('./refnamediv/refpurpose').text for f in t.findall('./refnamediv/refname'): - index[f.text] = (p, section) - -k = index.keys() -k.sort(key = str.lower) - + index[f.text] = (p, section, purpose) html = Element('html') @@ -26,9 +23,8 @@ h1 = SubElement(body, 'h1') h1.text = 'Manual Page Index' letter = None - -for n in k: - path, section = index[n] +for n in sorted(index.keys(), key = str.lower): + path, section, purpose = index[n] if path.endswith('.xml'): path = path[:-4] + ".html" @@ -51,5 +47,6 @@ for n in k: a = SubElement(li, 'a'); a.set('href', path) a.text = n + '(' + section + ')' + a.tail = ' -- ' + purpose -print tostring(html) +stdout.write(tostring(html))