chiark / gitweb /
Manpage formatting fix.