if letter is None or n[0].upper() != letter:
letter = n[0].upper()
- h2 = SubElement(body, 'h1')
+ h2 = SubElement(body, 'h2')
h2.text = letter
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
+
+hr = SubElement(body, 'hr')
+
+p = SubElement(body, 'p')
+p.text = "This index contains %s entries, referring to %i individual manual pages." % (len(index), len(argv)-1)
stdout.write(tostring(html))