chiark / gitweb /
Release 1.0.0pre19.
[tripe] / common / make-summary
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.