- Fix build when newer versions of texi2html are used. (the port was previously broken by the recent upgrade to texi2html 5.x, which this addresses) - Directly ignore if attempting to compile with XEmacs, since it is not supported by the ProofGeneral developers. Explanation: Due to recent changes in the port textproc/texi2html, the port no longer compiles, and was recently marked as BROKEN. This patch fixes this issue, and also fixes a common build error of using XEmacs to build, since it is no longer supported by the ProofGeneral developers. Fix: Apply the patch and build How-To-Repeat: apply the patch and build
Responsible Changed From-To: freebsd-ports-bugs->ak I'll take it.
ak 2012-07-12 14:05:30 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile math/proofgeneral/files patch-doc-Makefile.doc Log: - Fix build with new texi2html - Ignore attempts to compile with XEmacs, it is not supported by the ProofGeneral developers. PR: ports/169774 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) Revision Changes Path 1.31 +5 -3 ports/math/proofgeneral/Makefile 1.5 +10 -1 ports/math/proofgeneral/files/patch-doc-Makefile.doc _______________________________________________ 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"
State Changed From-To: open->closed Committed. Thanks!