man: drop rhs parts in snippets in directive index

-       --exit-if-exists=file
+       --exit-if-exists=
etc.

diff --git a/make-directive-index.py b/make-directive-index.py
index 15bd9b93410334c6982792939d4777aec6fdaa81..c61383b0a46482e46f3e94c2f956d01b7fea607f 100755 (executable)
--- 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