From 699ad6c06c0e235f588c900934bdf4bed421503b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Wed, 27 Feb 2013 21:31:02 -0500 Subject: [PATCH] man: drop rhs parts in snippets in directive index - --exit-if-exists=file + --exit-if-exists= etc. --- make-directive-index.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 -- 2.30.2