Synopsis: a new tip -- how to print manual pages State-Changed-From-To: open->closed State-Changed-By: blackend State-Changed-When: Wed Jan 7 11:49:51 PST 2004 State-Changed-Why: Done. Thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=61033