diff options
| author | bdrewery <bdrewery@FreeBSD.org> | 2013-04-16 02:55:01 +0800 |
|---|---|---|
| committer | bdrewery <bdrewery@FreeBSD.org> | 2013-04-16 02:55:01 +0800 |
| commit | 609f5f20a4d22214d067d11ed89a2e848cdff0fe (patch) | |
| tree | 4aa642d52119b9fdbd672e961a9c757da3d87b8b /math/proofgeneral | |
| parent | b82dd5e44212b3a6355c50b12ffdbdfcdf41f8b4 (diff) | |
| download | freebsd-ports-gnome-609f5f20a4d22214d067d11ed89a2e848cdff0fe.tar.gz freebsd-ports-gnome-609f5f20a4d22214d067d11ed89a2e848cdff0fe.tar.zst freebsd-ports-gnome-609f5f20a4d22214d067d11ed89a2e848cdff0fe.zip | |
- Don't delete gnomehier directories
Approved by: portmgr (implicit)
Pointyhat to: bdrewery (for breaking poudriere deleted dir detection leading to the previous commit)
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 |