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 <bey...@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-unsubscr...@freebsd.org"
