chiark / gitweb /
Manpages: Move manpages (back?) into the top-level directory.