From 00f056e77caca6f53fdf2603ddfa1fe114fe09d4 Mon Sep 17 00:00:00 2001 From: Ion-Mihai Tetcu Date: Tue, 14 Aug 2007 12:20:38 +0000 Subject: [PATCH] Mark IGNORE if NOPORTDOCS is defined since this port cosist only of docs. --- java/java-tutorial/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/java/java-tutorial/Makefile b/java/java-tutorial/Makefile index 512c91c72465..32142cb639d8 100644 --- a/java/java-tutorial/Makefile +++ b/java/java-tutorial/Makefile @@ -24,6 +24,10 @@ PORTDOCS= * SUB_FILES= pkg-message PKGMESSAGE= ${WRKDIR}/pkg-message +.ifdef NOPORTDOCS +IGNORE= this port is only documentation, please undefine NOPORTDOCS and try again +.endif + do-install: @${ECHO_MSG} -n ">> Creating directory ${DOCSDIR}..." @${MKDIR} ${DOCSDIR}