chiark / gitweb /
recreate man pages from xml source