From 4c0eea93d6270c31a8a2ff4a13c15cc3a8d91bf1 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Mon, 7 Mar 2022 12:02:23 +0100 Subject: [PATCH] Fix inconsistent doc generation --- scripts/dev/src2asciidoc.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/dev/src2asciidoc.py b/scripts/dev/src2asciidoc.py index 375bb1eb7..febd2bf8a 100755 --- a/scripts/dev/src2asciidoc.py +++ b/scripts/dev/src2asciidoc.py @@ -536,7 +536,9 @@ def regenerate_manpage(filename): # pylint: disable=protected-access for group in parser._action_groups: groupdata = [] - groupdata.append('=== {}'.format(group.title)) + # https://bugs.python.org/issue9694 backport + title = "options" if group.title == "optional arguments" else group.title + groupdata.append('=== {}'.format(title)) if group.description is not None: groupdata.append(group.description) for action in group._group_actions: