Synopsis: [patch] ports-mgmt/genplist: assign MAN1PREFIX for man installation State-Changed-From-To: feedback->closed State-Changed-By: jgh State-Changed-When: Sat Apr 13 07:10:29 UTC 2013 State-Changed-Why: merged patch into ports/177714 http://www.freebsd.org/cgi/query-pr.cgi?pr=177799