From 8864111310fdcd2a3e14a06561214f7a756dbe6f Mon Sep 17 00:00:00 2001 From: Lennart Poettering Date: Mon, 16 Jul 2012 17:39:26 +0200 Subject: [PATCH] man: show man page summary in index, too --- make-man-index.py | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) 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)) -- 2.30.2