server/tripe-admin.5.in: Fix out-of-date information about `kill'.
[tripe] / common / make-summary
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.