diff options
Diffstat (limited to 'math/proofgeneral/Makefile')
| -rw-r--r-- | math/proofgeneral/Makefile | 3 |
1 files changed, 0 insertions, 3 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} |