chiark / gitweb /
man: include number of man pages in index page
authorLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 17:11:10 +0000 (19:11 +0200)
committerLennart Poettering <lennart@poettering.net>
Mon, 16 Jul 2012 17:11:10 +0000 (19:11 +0200)
commit051eaebb587d466ed21b51863d52d31fc1df57ca
tree79aecd1da9c42730e78bcbb9a158d37b2d1fba68
parent6fa9a6109250d964db1f0690150b657db056ef81
man: include number of man pages in index page
make-man-index.py