From: Lennart Poettering Date: Mon, 16 Jul 2012 15:39:26 +0000 (+0200) Subject: man: show man page summary in index, too X-Git-Tag: v187~68 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=commitdiff_plain;h=8864111310fdcd2a3e14a06561214f7a756dbe6f;ds=inline man: show man page summary in index, too --- 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))