diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-05-27 00:15:04 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-05-27 00:15:04 +0000 |
commit | cce3a74ecdf3566a811d274c9a56d31abd4472fa (patch) | |
tree | 7cd8cb4a85037d5d5f9eb04c034e7ad933d0e179 /math/proofgeneral | |
parent | 68a5cc350c20f473d49d3f1f2daba75917014054 (diff) |
Notes
Diffstat (limited to 'math/proofgeneral')
-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 69b789332ac6..ca851595e39b 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -74,7 +74,4 @@ pre-build: @${RM} ${WRKSRC}/.byte-compile || ${TRUE} #.endif -post-install: - @${CAT} ${PKGMESSAGE} - .include <bsd.port.post.mk> |