chiark / gitweb /
man: add various filenames to the index