diff options
| -rwxr-xr-x | make-directive-index.py | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/make-directive-index.py b/make-directive-index.py index 468d14da75..b43fea0b99 100755 --- a/make-directive-index.py +++ b/make-directive-index.py @@ -139,6 +139,14 @@ TEMPLATE = '''\ </refsect1> <refsect1> + <title>Constants</title> + + <para>Various constant used and/or defined by systemd.</para> + + <variablelist id='constants' /> + </refsect1> + + <refsect1> <title>Miscellaneous options and directives</title> <para>Other configuration elements which don't fit in @@ -222,6 +230,16 @@ def _extract_directives(directive_groups, formatting, page): storfile[text].append((pagename, section)) formatting[text] = name + storfile = directive_groups['constants'] + for name in t.iterfind('.//constant'): + if name.attrib.get('noindex'): + continue + name.tail = '' + if name.text.startswith('('): # a cast, strip it + name.text = name.text.partition(' ')[2] + storfile[name.text].append((pagename, section)) + formatting[name.text] = name + def _make_section(template, name, directives, formatting): varlist = template.find(".//*[@id='{}']".format(name)) for varname, manpages in sorted(directives.items()): |