diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
commit | ce5e4570204c37f4ac986a2a6bc076aa911167d6 (patch) | |
tree | 1c069c3c993156dc583330fa958afbe99bb4966e /math/ltl | |
parent | 8ac99398e2b62e1b10333d4c88ae273f4f0ed365 (diff) | |
download | ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.tar.gz ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.zip |
Notes
Diffstat (limited to 'math/ltl')
-rw-r--r-- | math/ltl/Makefile | 8 |
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} |