chiark / gitweb /
man: add missing man page