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-head mailing list