diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-11-21 20:33:26 +0100 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2019-11-21 22:06:30 +0100 |
commit | f8b68539d0ddda5964d533c2eb9c0d8bff95616b (patch) | |
tree | b19a85e65ef9348bf7efc8981f0ce9d8e1fc2473 /tools | |
parent | b0343f8c96e984211c24c3ba404f0a82b60244b4 (diff) | |
download | systemd-f8b68539d0ddda5964d533c2eb9c0d8bff95616b.tar.gz |
man: fix a few bogus entries in directives index
When wrong element types are used, directives are sometimes placed in the wrong
section. Also, strip part of text starting with "'", which is used in a few
places and which is displayed improperly in the index.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make-directive-index.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index 2bc178de50..5b965f4163 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -190,7 +190,7 @@ def _extract_directives(directive_groups, formatting, page): stor[text].append((pagename, section)) if text not in formatting: # use element as formatted display - if name.text[-1] in '= ': + if name.text[-1] in "= '": name.clear() else: name.tail = '' |