chiark / gitweb /
man pages: work around xmlto which tries to be smart