chiark
/
gitweb
/
~ianmdlvl
/
elogind.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
man: actually generate h2 headers for letters in index as we meant to
[elogind.git]
/
make-man-index.py
diff --git
a/make-man-index.py
b/make-man-index.py
index 44d15f8c291341fc2ab7f6ea7f3a48e39cee5641..29e3578758d80601ea00b62aa85d339896248f0b 100755
(executable)
--- a/
make-man-index.py
+++ b/
make-man-index.py
@@
-36,7
+36,7
@@
for n in sorted(index.keys(), key = str.lower):
if letter is None or n[0].upper() != letter:
letter = n[0].upper()
- h2 = SubElement(body, 'h
1
')
+ h2 = SubElement(body, 'h
2
')
h2.text = letter
ul = SubElement(body, 'ul')