man: drop rhs parts in snippets in directive index

- --exit-if-exists=file + --exit-if-exists= etc.
2024-10-27 18:55:09 +03:00 · 2013-02-27 21:31:02 -05:00 · 2013-02-27 21:31:02 -05:00 · 699ad6c06c
commit 699ad6c06c
parent 185c3be03c
1 changed files with 4 additions and 1 deletions
--- a/make-directive-index.py
+++ b/make-directive-index.py
@ -185,7 +185,10 @@ def _extract_directives(directive_groups, formatting, page):
                stor[text].append((pagename, section))
                if text not in formatting:
                    # use element as formatted display
-                    name.tail = ''
+                    if name.text[-1] in '= ':
+                        name.clear()
+                    else:
+                        name.tail = ''
                    name.text = text
                    formatting[text] = name