diff options
author | Lennart Poettering <lennart@poettering.net> | 2012-07-16 19:26:08 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2012-07-16 19:26:08 +0200 |
commit | a6c9b1c492378a093fe7db69c42a19b8f8193814 (patch) | |
tree | e7675881d75ca4bb249663906853807fb1100eaa | |
parent | e616d1c6745f6a6df5a49a3957bd06aa8bd4648b (diff) |
man: actually generate h2 headers for letters in index as we meant to
-rw-r--r-- | TODO | 2 | ||||
-rwxr-xr-x | make-man-index.py | 2 |
2 files changed, 1 insertions, 3 deletions
@@ -64,8 +64,6 @@ Features: * journald: we currently rotate only after MaxUse+MaxFilesize has been reached. -* reexec journald across initrd transition - * nspawn: bind mount /var/log/journal from the host * Document: diff --git a/make-man-index.py b/make-man-index.py index 44d15f8c29..29e3578758 100755 --- 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, 'h1') + h2 = SubElement(body, 'h2') h2.text = letter ul = SubElement(body, 'ul') |