chiark / gitweb /
man: recreate man pages