Date: Mon, 15 Apr 2013 18:55:01 +0000 (UTC) From: Bryan Drewery <bdrewery@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r315806 - head/math/proofgeneral Message-ID: <201304151855.r3FIt15A031728@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 -@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 -@dirrmtry share/application-registry @dirrmtry share/pixmaps
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201304151855.r3FIt15A031728>