chiark / gitweb /
min: generate an index page for all man pages
authorLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 15:19:39 +0000 (17:19 +0200)
committerLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 15:19:39 +0000 (17:19 +0200)
This makes use of python, if it is available


No differences found