Date: Tue, 6 Feb 2007 22:55:25 +0000 (UTC) From: Andrey Slusar <anray@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile Message-ID: <200702062255.l16MtPfe092916@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200702062255.l16MtPfe092916>