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
44d15f8
..
29e3578
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')