From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Thu, 28 Feb 2013 02:31:02 +0000 (-0500)
Subject: man: drop rhs parts in snippets in directive index
X-Git-Tag: v198~147
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=commitdiff_plain;h=699ad6c06c0e235f588c900934bdf4bed421503b

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 15bd9b934..c61383b0a 100755
--- 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