diff options
| -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 |