chiark / gitweb /
man: set description in italics in the index
authorLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 16:10:18 +0000 (18:10 +0200)
committerLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 16:10:18 +0000 (18:10 +0200)
make-man-index.py

index e09d62a5e875dd64eb6ec0d9fe5d32895b98846e..36440902542f03fff3e22501e18b0f7100d20704 100755 (executable)
@@ -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))