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

[Troels Kofoed Jacobsen]

The following reply was made to PR ports/148147; it has been noted by GNATS.

From: Troels Kofoed Jacobsen <tkjacobsen at gmail.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/148147: graphics/ipe can't be built without portdocs
 (NOPORTDOCS)
Date: Sat, 26 Jun 2010 22:58:15 +0200

 On Fri, 2010-06-25 at 19:30 +0000, Edwin Groothuis wrote:
 > Maintainer of graphics/ipe,
 > 
 > Please note that PR ports/148147 has just been submitted.
 > 
 > If it contains a patch for an upgrade, an enhancement or a bug fix
 > you agree on, reply to this email stating that you approve the patch
 > and a committer will take care of it.
 > 
 > The full text of the PR can be found at:
 >     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/148147
 > 
 
 Thanks for the patch! However, I submitted an update for the port in
 january,and will not spend more time on the port before this has been
 either submitted or rejected with comments.
 
 http://www.freebsd.org/cgi/query-pr.cgi?pr=143209
 
 Best regards
 Troels