aboutsummaryrefslogtreecommitdiff
path: root/math/ltl/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'math/ltl/Makefile')
-rw-r--r--math/ltl/Makefile8
1 files changed, 2 insertions, 6 deletions
diff --git a/math/ltl/Makefile b/math/ltl/Makefile
index cd8b3f30202f..8b4a211606fa 100644
--- a/math/ltl/Makefile
+++ b/math/ltl/Makefile
@@ -1,10 +1,5 @@
-# ex:ts=8
-# Ports collection makefile for: ltl
-# Date created: Sep 11, 2006
-# Whom: rossiya
-#
+# Created by: rossiya
# $FreeBSD$
-#
PORTNAME= ltl
PORTVERSION= 1.9.1
@@ -29,6 +24,7 @@ INSTALL_TARGET= install install-data distdir
PORTDOCS= *.html
+NO_STAGE= yes
post-install:
.if !defined(NOPORTDOCS)
${MKDIR} ${DOCSDIR}