ports/148147: graphics/ipe can't be built without portdocs (NOPORTDOCS)

[edwin at FreeBSD.org]

Synopsis: graphics/ipe can't be built without portdocs (NOPORTDOCS)

State-Changed-From-To: open->feedback
State-Changed-By: edwin
State-Changed-When: Fri Jun 25 19:30:13 UTC 2010
State-Changed-Why: 
Awaiting maintainers feedback (via the GNATS Auto Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=148147