X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-man-index.py;h=36440902542f03fff3e22501e18b0f7100d20704;hp=e09d62a5e875dd64eb6ec0d9fe5d32895b98846e;hb=92e1ecc62b8ad38d8dcd60baa996fc47feb04bc5;hpb=34511ca7b166b0e89d08ff9870b0cf2624a7815f diff --git a/make-man-index.py b/make-man-index.py index e09d62a5e..364409025 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))