diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2013-10-22 13:56:27 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2013-10-22 13:56:27 +0000 |
| commit | d46ccd7303bf20ea948fb7ae7d9295ad15a9bdf0 (patch) | |
| tree | a35566f61939b515f5bf3edc63109b89ea9b970f /math/proofgeneral | |
| parent | c87a56b35119a3f8c54074da6dd45335b59a2fc4 (diff) | |
| download | ports-d46ccd7303bf20ea948fb7ae7d9295ad15a9bdf0.tar.gz ports-d46ccd7303bf20ea948fb7ae7d9295ad15a9bdf0.zip | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 3 | ||||
| -rw-r--r-- | math/proofgeneral/pkg-plist | 1 |
2 files changed, 0 insertions, 4 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index a80c44fbd7c4..c5221db96b32 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -68,9 +68,6 @@ pre-build: @${RM} ${WRKSRC}/.byte-compile || ${TRUE} #.endif -pre-install: - @${MKDIR} ${PREFIX}/share/applications - post-install: @${CAT} ${PKGMESSAGE} diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 4276942e60de..ae28ad39bfac 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -252,5 +252,4 @@ share/pixmaps/proofgeneral.png @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2 @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral -@dirrmtry share/applications @dirrmtry share/pixmaps |