chiark
/
gitweb
/
~ianmdlvl
/
elogind.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fstab-generator: set "ro" as default for sysroot.mount
[elogind.git]
/
make-directive-index.py
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