From e7a6f09777732517d874292e39e13241cd6468b9 Mon Sep 17 00:00:00 2001
From: Alex Dupre <ale@FreeBSD.org>
Date: Sun, 8 Jun 2008 09:04:28 +0000
Subject: Set IGNORE if NOPORTDOCS is set: this port installs only
 documentation.

---
 java/langspec/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

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}
-- 
cgit v1.2.3