diff options
author | Alex Dupre <ale@FreeBSD.org> | 2008-06-08 09:04:28 +0000 |
---|---|---|
committer | Alex Dupre <ale@FreeBSD.org> | 2008-06-08 09:04:28 +0000 |
commit | e7a6f09777732517d874292e39e13241cd6468b9 (patch) | |
tree | 041542ce0390f0fb6d23cabf377c2c62a58a4a51 | |
parent | ef7059dc50558637978e1a3769c517abee9c8803 (diff) | |
download | ports-e7a6f09777732517d874292e39e13241cd6468b9.tar.gz ports-e7a6f09777732517d874292e39e13241cd6468b9.zip |
Set IGNORE if NOPORTDOCS is set: this port installs only documentation.
Notes
Notes:
svn path=/head/; revision=214487
-rw-r--r-- | java/langspec/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/java/langspec/Makefile b/java/langspec/Makefile index 10e95cf560aa..372095f5ca55 100644 --- a/java/langspec/Makefile +++ b/java/langspec/Makefile @@ -18,6 +18,10 @@ NO_BUILD= yes WRKSRC= ${WRKDIR} PORTDOCS= * +.if defined(NOPORTDOCS) +IGNORE= installs *only* documentation, unset NOPORTDOCS +.endif + do-install: @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." @${MKDIR} ${DOCSDIR} |