chiark / gitweb /
man: update man pages for recent syntax changes