The wrong option is given to configure, to disable GUI. The effect is that if fltk is installed, GUI is enabled no matter how the OPTIONS option is set.
Responsible Changed From-To: freebsd-ports-bugs->gahr Submitter has GNATS access (via the GNATS Auto Assign Tool)
Maintainer of textproc/htmldoc, Please note that PR ports/142747 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/142747 -- Edwin Groothuis via the GNATS Auto Assign Tool edwin@FreeBSD.org
State Changed From-To: open->feedback Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
State Changed From-To: feedback->closed Committed. Thanks!
gahr 2010-01-26 07:54:40 UTC FreeBSD ports repository Modified files: textproc/htmldoc Makefile Log: - Really disable GUI if not needed PR: 142747 Submitted by: gahr Approved by: maintainer (timeout) Revision Changes Path 1.17 +2 -2 ports/textproc/htmldoc/Makefile _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"