chiark / gitweb /
man: fix spacing issue in various man pages