chiark / gitweb /
man: show man page summary in index, too
authorLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 15:39:26 +0000 (17:39 +0200)
committerLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 15:39:26 +0000 (17:39 +0200)
commit8864111310fdcd2a3e14a06561214f7a756dbe6f
treede38213be46a6ce30f3ccb7bc42fc079c47798fb
parent9c4fa6ed1069e98db5f01a5d1056b443a04cc7d9
man: show man page summary in index, too
make-man-index.py