aboutsummaryrefslogtreecommitdiff
path: root/math/ltl
diff options
context:
space:
mode:
authorBaptiste Daroussin <bapt@FreeBSD.org>2013-09-20 20:55:04 +0000
committerBaptiste Daroussin <bapt@FreeBSD.org>2013-09-20 20:55:04 +0000
commitce5e4570204c37f4ac986a2a6bc076aa911167d6 (patch)
tree1c069c3c993156dc583330fa958afbe99bb4966e /math/ltl
parent8ac99398e2b62e1b10333d4c88ae273f4f0ed365 (diff)
downloadports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.tar.gz
ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.zip
Notes
Diffstat (limited to 'math/ltl')
-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}