diff options
| author | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-04-15 18:55:01 +0000 |
|---|---|---|
| committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-04-15 18:55:01 +0000 |
| commit | ee4796ca443b67117b89edb16f03fc1b58401f26 (patch) | |
| tree | 4aa642d52119b9fdbd672e961a9c757da3d87b8b /math/proofgeneral | |
| parent | 887875222060efd73044257eb671338f9d65d1ba (diff) | |
| download | ports-ee4796ca443b67117b89edb16f03fc1b58401f26.tar.gz ports-ee4796ca443b67117b89edb16f03fc1b58401f26.zip | |
- Don't delete gnomehier directories
Approved by: portmgr (implicit)
Pointyhat to: bdrewery (for breaking poudriere deleted dir detection leading to the previous commit)
Notes
Notes:
svn path=/head/; revision=315806
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 2 | ||||
| -rw-r--r-- | math/proofgeneral/pkg-plist | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 4098742d30f6..4d7baadf6524 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -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} diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 384b435a12c7..4276942e60de 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -232,7 +232,6 @@ share/icons/hicolor/48x48/proofgeneral.png 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 |