diff options
author | Frantisek Sumsal <frantisek@sumsal.cz> | 2023-07-17 20:02:54 +0200 |
---|---|---|
committer | Frantisek Sumsal <frantisek@sumsal.cz> | 2023-08-10 18:13:29 +0200 |
commit | c6041b8bf88b7606f76050631a42a1a755e9ba8c (patch) | |
tree | 407f5ce2304d0a66a3f33368a4faf642628a6aa3 /tools/make-man-index.py | |
parent | tools: pylint make-directive-index.py (diff) | |
download | systemd-c6041b8bf88b7606f76050631a42a1a755e9ba8c.tar.xz systemd-c6041b8bf88b7606f76050631a42a1a755e9ba8c.zip |
tools: pylint make-man-index.py
Diffstat (limited to 'tools/make-man-index.py')
-rwxr-xr-x | tools/make-man-index.py | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/tools/make-man-index.py b/tools/make-man-index.py index bae36fbabf..579dd405c2 100755 --- a/tools/make-man-index.py +++ b/tools/make-man-index.py @@ -2,9 +2,10 @@ # SPDX-License-Identifier: LGPL-2.1-or-later import collections -import sys import re -from xml_helper import xml_parse, xml_print, tree +import sys + +from xml_helper import tree, xml_parse, xml_print MDASH = ' — ' if sys.version_info.major >= 3 else ' -- ' @@ -44,9 +45,9 @@ This index contains {count} entries, referring to {pages} individual manual page def check_id(page, t): - id = t.getroot().get('id') - if not re.search('/' + id + '[.]', page): - raise ValueError("id='{}' is not the same as page name '{}'".format(id, page)) + page_id = t.getroot().get('id') + if not re.search('/' + page_id + '[.]', page): + raise ValueError(f"id='{page_id}' is not the same as page name '{page}'") def make_index(pages): index = collections.defaultdict(list) @@ -68,7 +69,7 @@ def add_letter(template, letter, pages): title.text = letter para = tree.SubElement(refsect1, 'para') for info in sorted(pages, key=lambda info: str.lower(info[0])): - refname, section, purpose, realname = info + refname, section, purpose, _realname = info b = tree.SubElement(para, 'citerefentry') c = tree.SubElement(b, 'refentrytitle') @@ -86,7 +87,7 @@ def add_summary(template, indexpages): for group in indexpages: count += len(group) for info in group: - refname, section, purpose, realname = info + _refname, section, _purpose, realname = info pages.add((realname, section)) refsect1 = tree.fromstring(SUMMARY) @@ -107,5 +108,5 @@ def make_page(*xml_files): return template if __name__ == '__main__': - with open(sys.argv[1], 'wb') as f: - f.write(xml_print(make_page(*sys.argv[2:]))) + with open(sys.argv[1], 'wb') as file: + file.write(xml_print(make_page(*sys.argv[2:]))) |