svn commit: r315806 - head/math/proofgeneral
Bryan Drewery
bdrewery at FreeBSD.org
Mon Apr 15 18:55:02 UTC 2013
Author: bdrewery
Date: Mon Apr 15 18:55:01 2013
New Revision: 315806
URL: http://svnweb.freebsd.org/changeset/ports/315806
Log:
- Don't delete gnomehier directories
Approved by: portmgr (implicit)
Pointyhat to: bdrewery (for breaking poudriere deleted dir detection leading to the previous commit)
Modified:
head/math/proofgeneral/Makefile
head/math/proofgeneral/pkg-plist
Modified: head/math/proofgeneral/Makefile
==============================================================================
--- head/math/proofgeneral/Makefile Mon Apr 15 17:29:36 2013 (r315805)
+++ head/math/proofgeneral/Makefile Mon Apr 15 18:55:01 2013 (r315806)
@@ -3,7 +3,7 @@
PORTNAME= proofgeneral
PORTVERSION= 4.1
-PORTREVISION= 6
+PORTREVISION= 7
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
PKGNAMESUFFIX= -${EMACS_NAME}
Modified: head/math/proofgeneral/pkg-plist
==============================================================================
--- head/math/proofgeneral/pkg-plist Mon Apr 15 17:29:36 2013 (r315805)
+++ head/math/proofgeneral/pkg-plist Mon Apr 15 18:55:01 2013 (r315806)
@@ -232,7 +232,6 @@ share/icons/hicolor/48x48/proofgeneral.p
share/mime-info/proofgeneral.keys
share/mime-info/proofgeneral.mime
share/pixmaps/proofgeneral.png
- at dirrmtry share/mime-info
@dirrmtry share/icons/hicolor/48x48
@dirrmtry share/icons/hicolor/32x32
@dirrmtry share/icons/hicolor/16x16
@@ -254,5 +253,4 @@ share/pixmaps/proofgeneral.png
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral
@dirrmtry share/applications
- at dirrmtry share/application-registry
@dirrmtry share/pixmaps
More information about the svn-ports-all
mailing list