diff options
author | Lennart Poettering <lennart@poettering.net> | 2012-07-16 18:10:18 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2012-07-16 18:10:18 +0200 |
commit | 92e1ecc62b8ad38d8dcd60baa996fc47feb04bc5 (patch) | |
tree | de1dc83019dfb2490baab507a7668c34b75dddd9 | |
parent | 34511ca7b166b0e89d08ff9870b0cf2624a7815f (diff) |
man: set description in italics in the index
-rwxr-xr-x | make-man-index.py | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/make-man-index.py b/make-man-index.py index e09d62a5e8..3644090254 100755 --- a/make-man-index.py +++ b/make-man-index.py @@ -42,11 +42,14 @@ for n in sorted(index.keys(), key = str.lower): ul = SubElement(body, 'ul') ul.set('style', 'list-style-type:none') - li = SubElement(ul, 'li'); + li = SubElement(ul, 'li') - a = SubElement(li, 'a'); + a = SubElement(li, 'a') a.set('href', path) a.text = n + '(' + section + ')' - a.tail = ' -- ' + purpose + a.tail = ' -- ' + + i = SubElement(li, 'i') + i.text = purpose stdout.write(tostring(html)) |