chiark / gitweb /
Fix man page conflict