diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2021-06-27 16:33:12 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2021-06-29 10:44:18 +0200 |
| commit | d080734dcb047a890885781b6a3c154ba19e3a8e (patch) | |
| tree | 97dae264b2ef31bda7fb2921c827039d33779a29 /tools/make-directive-index.py | |
| parent | man: add markup to dns resource record labels (diff) | |
| download | systemd-d080734dcb047a890885781b6a3c154ba19e3a8e.tar.xz systemd-d080734dcb047a890885781b6a3c154ba19e3a8e.zip | |
man: add "DNS resource record types" section
Diffstat (limited to 'tools/make-directive-index.py')
| -rwxr-xr-x | tools/make-directive-index.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index bbdc5572f5..8a2939959b 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -77,13 +77,14 @@ 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('index') == 'false': continue name.tail = '' if name.text.startswith('('): # a cast, strip it name.text = name.text.partition(' ')[2] + klass = name.attrib.get('class') or 'constants' + storfile = directive_groups[klass] storfile[name.text].append((pagename, section)) formatting[name.text] = name |