chiark / gitweb /
move manpages to top level