anray 2007-02-06 22:55:25 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile distinfo pkg-plist
math/proofgeneral/files patch-Makefile
Log:
* Remove the direct inclusion of bsd.emacs.mk
* Use the misc/gnomehier and misc/hicolor-icon/theme ports
* Use the latest proofgeneral prerelease
PR: ports/107414
Submitted by: Timothy Bourke(maintainer)
Revision Changes Path
1.11 +22 -31 ports/math/proofgeneral/Makefile
1.5 +3 -3 ports/math/proofgeneral/distinfo
1.3 +57 -68 ports/math/proofgeneral/files/patch-Makefile
1.7 +451 -341 ports/math/proofgeneral/pkg-plist
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
