diff options
author | Jérémy Rosen <jeremy.rosen@smile.fr> | 2020-04-18 19:48:13 +0200 |
---|---|---|
committer | Jérémy Rosen <jeremy.rosen@smile.fr> | 2020-04-20 18:49:58 +0200 |
commit | 8906e262784bcb3989c6103803834ed35f6214d7 (patch) | |
tree | e1fec6cd3bfc54d3109211430f9295ffb5687aff /tools/make-directive-index.py | |
parent | acbfdec33e982c01cc2f2cc2cd6bed43665570e7 (diff) | |
download | systemd-8906e262784bcb3989c6103803834ed35f6214d7.tar.gz |
make-directive-index: allow variablelist to specify an element to index
This commit looks for a new "extra-ref" attribute in <variablelist>
If this attribute is specified, its content will be index as pointing to
the current man-page in systemd.directives
Diffstat (limited to 'tools/make-directive-index.py')
-rwxr-xr-x | tools/make-directive-index.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index 659c6275f5..0333a92a1d 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -200,6 +200,13 @@ def _extract_directives(directive_groups, formatting, page): name.tail = '' name.text = text formatting[text] = name + extra = variablelist.attrib.get('extra-ref') + if extra: + stor[extra].append((pagename, section)) + if extra not in formatting: + elt = tree.Element("varname") + elt.text= extra + formatting[extra] = elt storfile = directive_groups['filenames'] for xpath, absolute_only in (('.//refsynopsisdiv//filename', False), |