chiark / gitweb /
journald: fix another bad memory access
[elogind.git] / make-man-index.py
1 #!/usr/bin/env python
2
3 from xml.etree.ElementTree import parse, Element, SubElement, tostring
4 from sys import argv, stdout
5
6 index = {}
7
8 def prettify(elem, indent = 0):
9         s = "\n" + indent * "  "
10         if len(elem):
11                 if not elem.text or not elem.text.strip():
12                         elem.text = s + "  "
13                 for e in elem:
14                         prettify(e, indent + 1)
15                         if not e.tail or not e.tail.strip():
16                                 e.tail = s + "  "
17                 if not e.tail or not e.tail.strip():
18                         e.tail = s
19         else:
20                 if indent and (not elem.tail or not elem.tail.strip()):
21                         elem.tail = s
22
23 for p in argv[1:]:
24         t = parse(p)
25         section = t.find('./refmeta/manvolnum').text
26         purpose = ' '.join(t.find('./refnamediv/refpurpose').text.split())
27         for f in t.findall('./refnamediv/refname'):
28                 index[f.text] = (p, section, purpose)
29
30 html = Element('html')
31
32 head = SubElement(html, 'head')
33 title = SubElement(head, 'title')
34 title.text = 'Manual Page Index'
35
36 body = SubElement(html, 'body')
37 h1 = SubElement(body, 'h1')
38 h1.text = 'Manual Page Index'
39
40 letter = None
41 for n in sorted(index.keys(), key = str.lower):
42         path, section, purpose = index[n]
43
44         if path.endswith('.xml'):
45                 path = path[:-4] + ".html"
46
47         c = path.rfind('/')
48         if c >= 0:
49                 path = path[c+1:]
50
51         if letter is None or n[0].upper() != letter:
52                 letter = n[0].upper()
53
54                 h2 = SubElement(body, 'h2')
55                 h2.text = letter
56
57                 ul = SubElement(body, 'ul')
58                 ul.set('style', 'list-style-type:none')
59
60         li = SubElement(ul, 'li')
61
62         a = SubElement(li, 'a')
63         a.set('href', path)
64         a.text = n + '(' + section + ')'
65         a.tail = ' -- '
66
67         i = SubElement(li, 'i')
68         i.text = purpose
69
70 hr = SubElement(body, 'hr')
71
72 p = SubElement(body, 'p')
73 p.text = "This index contains %s entries, referring to %i individual manual pages." % (len(index), len(argv)-1)
74
75 prettify(html)
76 stdout.write(tostring(html))