From a74cf3de63f1e40bed08f5616a44127830e3f9a1 Mon Sep 17 00:00:00 2001 From: Herve Quiroz Date: Wed, 1 Dec 2004 02:33:56 +0000 Subject: [PATCH] Link API documentation with JDK API documentation, if installed. --- java/jakarta-commons-collections/Makefile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/java/jakarta-commons-collections/Makefile b/java/jakarta-commons-collections/Makefile index 1c95022a90d7..43ea6cc766b1 100644 --- a/java/jakarta-commons-collections/Makefile +++ b/java/jakarta-commons-collections/Makefile @@ -32,6 +32,13 @@ JARFILE= ${PORTNAME}-${PORTVERSION}.jar DESTJARFILE= ${PORTNAME}.jar PLIST_FILES+= %%JAVAJARDIR%%/${DESTJARFILE} +.include + +JDK_API!= (${FIND} -s ${LOCALBASE}/share/doc/jdk1.? -maxdepth 1 -name api -type d 2>/dev/null || ${TRUE}) | ${TAIL} -n 1 +.if ${JDK_API} != "" +MAKE_ARGS+= -Djavadoc.links=${JDK_API} +.endif + do-install: @${ECHO_MSG} -n ">> Installing JAR as ${JAVAJARDIR}/${DESTJARFILE}..." @${MKDIR} ${JAVAJARDIR} @@ -47,4 +54,4 @@ do-install: @${ECHO_MSG} " [ DONE ]" .endif -.include +.include