]>
Commit | Line | Data |
---|---|---|
3e67e5c9 | 1 | #!/usr/bin/env python3 |
f6b6728d | 2 | # -*- Mode: python; coding: utf-8; indent-tabs-mode: nil -*- */ |
35df7443 | 3 | # SPDX-License-Identifier: LGPL-2.1+ |
6b91ae13 LP |
4 | # |
5 | # This file is part of systemd. | |
6 | # | |
7 | # Copyright 2012 Lennart Poettering | |
f6b6728d | 8 | # Copyright 2013 Zbigniew Jędrzejewski-Szmek |
9c4fa6ed | 9 | |
f6b6728d | 10 | import collections |
f6b6728d | 11 | import sys |
3c1872eb | 12 | import re |
1c6c3ef0 | 13 | from xml_helper import xml_parse, xml_print, tree |
1a13e31d | 14 | |
dd6f5e4f | 15 | MDASH = ' — ' if sys.version_info.major >= 3 else ' -- ' |
f6b6728d ZJS |
16 | |
17 | TEMPLATE = '''\ | |
56ba3c78 | 18 | <refentry id="systemd.index" conditional="HAVE_PYTHON"> |
f6b6728d ZJS |
19 | |
20 | <refentryinfo> | |
21 | <title>systemd.index</title> | |
22 | <productname>systemd</productname> | |
23 | ||
24 | <authorgroup> | |
25 | <author> | |
26 | <contrib>Developer</contrib> | |
27 | <firstname>Lennart</firstname> | |
28 | <surname>Poettering</surname> | |
29 | <email>lennart@poettering.net</email> | |
30 | </author> | |
31 | </authorgroup> | |
32 | </refentryinfo> | |
33 | ||
34 | <refmeta> | |
35 | <refentrytitle>systemd.index</refentrytitle> | |
36 | <manvolnum>7</manvolnum> | |
37 | </refmeta> | |
38 | ||
39 | <refnamediv> | |
40 | <refname>systemd.index</refname> | |
41 | <refpurpose>List all manpages from the systemd project</refpurpose> | |
42 | </refnamediv> | |
43 | </refentry> | |
44 | ''' | |
45 | ||
46 | SUMMARY = '''\ | |
47 | <refsect1> | |
48 | <title>See Also</title> | |
49 | <para> | |
50 | <citerefentry><refentrytitle>systemd.directives</refentrytitle><manvolnum>7</manvolnum></citerefentry> | |
51 | </para> | |
52 | ||
53 | <para id='counts' /> | |
54 | </refsect1> | |
55 | ''' | |
56 | ||
57 | COUNTS = '\ | |
58 | This index contains {count} entries, referring to {pages} individual manual pages.' | |
59 | ||
1a13e31d | 60 | |
3c1872eb ZJS |
61 | def check_id(page, t): |
62 | id = t.getroot().get('id') | |
63 | if not re.search('/' + id + '[.]', page): | |
64 | raise ValueError("id='{}' is not the same as page name '{}'".format(id, page)) | |
65 | ||
f6b6728d ZJS |
66 | def make_index(pages): |
67 | index = collections.defaultdict(list) | |
68 | for p in pages: | |
1a13e31d | 69 | t = xml_parse(p) |
3c1872eb | 70 | check_id(p, t) |
88641113 | 71 | section = t.find('./refmeta/manvolnum').text |
f6b6728d | 72 | refname = t.find('./refnamediv/refname').text |
7653b3c2 | 73 | purpose = ' '.join(t.find('./refnamediv/refpurpose').text.split()) |
9c4fa6ed | 74 | for f in t.findall('./refnamediv/refname'): |
f6b6728d ZJS |
75 | infos = (f.text, section, purpose, refname) |
76 | index[f.text[0].upper()].append(infos) | |
77 | return index | |
9c4fa6ed | 78 | |
f6b6728d ZJS |
79 | def add_letter(template, letter, pages): |
80 | refsect1 = tree.SubElement(template, 'refsect1') | |
81 | title = tree.SubElement(refsect1, 'title') | |
82 | title.text = letter | |
83 | para = tree.SubElement(refsect1, 'para') | |
84 | for info in sorted(pages, key=lambda info: str.lower(info[0])): | |
85 | refname, section, purpose, realname = info | |
9c4fa6ed | 86 | |
f6b6728d ZJS |
87 | b = tree.SubElement(para, 'citerefentry') |
88 | c = tree.SubElement(b, 'refentrytitle') | |
89 | c.text = refname | |
90 | d = tree.SubElement(b, 'manvolnum') | |
91 | d.text = section | |
9c4fa6ed | 92 | |
dd6f5e4f | 93 | b.tail = MDASH + purpose # + ' (' + p + ')' |
9c4fa6ed | 94 | |
f6b6728d | 95 | tree.SubElement(para, 'sbr') |
9c4fa6ed | 96 | |
f6b6728d ZJS |
97 | def add_summary(template, indexpages): |
98 | count = 0 | |
99 | pages = set() | |
100 | for group in indexpages: | |
101 | count += len(group) | |
102 | for info in group: | |
103 | refname, section, purpose, realname = info | |
104 | pages.add((realname, section)) | |
9c4fa6ed | 105 | |
f6b6728d ZJS |
106 | refsect1 = tree.fromstring(SUMMARY) |
107 | template.append(refsect1) | |
9c4fa6ed | 108 | |
f6b6728d ZJS |
109 | para = template.find(".//para[@id='counts']") |
110 | para.text = COUNTS.format(count=count, pages=len(pages)) | |
9c4fa6ed | 111 | |
1a13e31d | 112 | def make_page(*xml_files): |
f6b6728d ZJS |
113 | template = tree.fromstring(TEMPLATE) |
114 | index = make_index(xml_files) | |
9c4fa6ed | 115 | |
f6b6728d ZJS |
116 | for letter in sorted(index): |
117 | add_letter(template, letter, index[letter]) | |
9c4fa6ed | 118 | |
f6b6728d | 119 | add_summary(template, index.values()) |
9c4fa6ed | 120 | |
f6b6728d | 121 | return template |
92e1ecc6 | 122 | |
f6b6728d | 123 | if __name__ == '__main__': |
1a13e31d ZJS |
124 | with open(sys.argv[1], 'wb') as f: |
125 | f.write(xml_print(make_page(*sys.argv[2:]))) |