chiark / gitweb /
man: add filenames to the index