chiark / gitweb /
Make sure HTML man pages are in build directory.