tools/make-man-index.py

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