aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorDmitry Marakasov <amdmi3@FreeBSD.org>2015-05-27 00:15:04 +0000
committerDmitry Marakasov <amdmi3@FreeBSD.org>2015-05-27 00:15:04 +0000
commitcce3a74ecdf3566a811d274c9a56d31abd4472fa (patch)
tree7cd8cb4a85037d5d5f9eb04c034e7ad933d0e179 /math/proofgeneral
parent68a5cc350c20f473d49d3f1f2daba75917014054 (diff)
Notes
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile3
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>