3 from xml.etree.ElementTree import parse, Element, SubElement, tostring
10 section = t.find('./refmeta/manvolnum').text;
11 for f in t.findall('./refnamediv/refname'):
12 index[f.text] = (p, section)
15 k.sort(key = str.lower)
18 html = Element('html')
20 head = SubElement(html, 'head')
21 title = SubElement(head, 'title')
22 title.text = 'Manual Page Index'
24 body = SubElement(html, 'body')
25 h1 = SubElement(body, 'h1')
26 h1.text = 'Manual Page Index'
31 path, section = index[n]
33 if path.endswith('.xml'):
34 path = path[:-4] + ".html"
40 if letter is None or n[0].upper() != letter:
43 h2 = SubElement(body, 'h1')
46 ul = SubElement(body, 'ul')
47 ul.set('style', 'list-style-type:none')
49 li = SubElement(ul, 'li');
51 a = SubElement(li, 'a');
53 a.text = n + '(' + section + ')'