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')
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))