chiark / gitweb /
Handle new manual page directory.