X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-directive-index.py;h=c61383b0a46482e46f3e94c2f956d01b7fea607f;hp=15bd9b93410334c6982792939d4777aec6fdaa81;hb=ab17a050b778412b11c82f4fa974be9c491ead36;hpb=a4e0b94d318e35b1441fc56f590668e80ff2e44e 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