From 92e1ecc62b8ad38d8dcd60baa996fc47feb04bc5 Mon Sep 17 00:00:00 2001 From: Lennart Poettering Date: Mon, 16 Jul 2012 18:10:18 +0200 Subject: [PATCH] man: set description in italics in the index --- make-man-index.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/make-man-index.py b/make-man-index.py index e09d62a5e87..36440902542 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))