chiark / gitweb /
man: actually generate h2 headers for letters in index as we meant to
authorLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 17:26:08 +0000 (19:26 +0200)
committerLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 17:26:08 +0000 (19:26 +0200)
commita6c9b1c492378a093fe7db69c42a19b8f8193814
treee7675881d75ca4bb249663906853807fb1100eaa
parente616d1c6745f6a6df5a49a3957bd06aa8bd4648b
man: actually generate h2 headers for letters in index as we meant to
TODO
make-man-index.py