server/tripe.8.in: Fix the reference for trace options.
[tripe] / common / make-summary
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.