From 2059d64391fe95bac77e1f983e8dff833a337baa Mon Sep 17 00:00:00 2001 From: Ernst de Haan Date: Thu, 15 Apr 2004 23:46:28 +0000 Subject: [PATCH] Add jdk15-doc: Java Development Kit 1.5 Documentation. Contains release information, API documentation, guides to new features and tool documentation. The documentation will be installed in ${PREFIX}/share/doc/jdk1.5/ WWW: http://java.sun.com/j2se/1.5/ --- java/Makefile | 1 + java/jdk15-doc/Makefile | 44 ++++++++++++++++++++++++++++++++++++++++ java/jdk15-doc/distinfo | 2 ++ java/jdk15-doc/pkg-descr | 6 ++++++ 4 files changed, 53 insertions(+) create mode 100644 java/jdk15-doc/Makefile create mode 100644 java/jdk15-doc/distinfo create mode 100644 java/jdk15-doc/pkg-descr diff --git a/java/Makefile b/java/Makefile index e007d94fbf4d..e956ad1d9097 100644 --- a/java/Makefile +++ b/java/Makefile @@ -74,6 +74,7 @@ SUBDIR += jdk13-doc SUBDIR += jdk14 SUBDIR += jdk14-doc + SUBDIR += jdk15-doc SUBDIR += jdom SUBDIR += jfc SUBDIR += jflex diff --git a/java/jdk15-doc/Makefile b/java/jdk15-doc/Makefile new file mode 100644 index 000000000000..29f45c8bc85a --- /dev/null +++ b/java/jdk15-doc/Makefile @@ -0,0 +1,44 @@ +# New ports collection makefile for: jdk15-doc +# Date created: April 16, 2004 +# Whom: Ernst de Haan +# +# $FreeBSD$ +# + +PORTNAME= jdk-doc +PORTVERSION= ${JDK_VERSION:S/_/./g} +CATEGORIES= java +MASTER_SITES= # +DISTNAME= j2sdk-1_5_0-beta-doc + +MAINTAINER= znerd@FreeBSD.org +COMMENT= Java Development Kit ${JDK_MAJOR_VER} Documentation + +LATEST_LINK= jdk${JDK_CONCAT_VER}-doc +DOCSDIR?= ${PREFIX}/share/doc/jdk${JDK_MAJOR_VER} +NO_CDROM= "License does not allow distribution with fee." +RESTRICTED= "This documentation is under license and export control." + +WRKSRC= ${WRKDIR}/docs +JDK_VERSION= 1.5.0.b1 +JDK_MAJOR_VER= ${JDK_VERSION:R} +JDK_CONCAT_VER= ${JDK_MAJOR_VER:S/.//g} +DOWNLOAD_URL= http://javashoplm.sun.com/ECom/docs/Welcome.jsp?StoreId=22&PartDetailId=j2sdk-1.5.0-beta-docs-oth-JPR&SiteId=JSC&TransactionId=noreg + +NO_BUILD= yes +USE_ZIP= yes +PORTDOCS= api guide images index.html install-notes relnotes tooldocs + +.include + +.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) +IGNORE=You must manually fetch ${DISTNAME}${EXTRACT_SUFX} from ${DOWNLOAD_URL}, place it in ${DISTDIR} and then run make again +.endif + +do-install: + @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." + @${MKDIR} ${DOCSDIR} + @${CP} -R ${WRKSRC}/* ${DOCSDIR} + @${ECHO} " [ DONE ]" + +.include diff --git a/java/jdk15-doc/distinfo b/java/jdk15-doc/distinfo new file mode 100644 index 000000000000..81933525183c --- /dev/null +++ b/java/jdk15-doc/distinfo @@ -0,0 +1,2 @@ +MD5 (j2sdk-1_5_0-beta-doc.zip) = d963865ae74f78e039552861023d271e +SIZE (j2sdk-1_5_0-beta-doc.zip) = 41797323 diff --git a/java/jdk15-doc/pkg-descr b/java/jdk15-doc/pkg-descr new file mode 100644 index 000000000000..05ed4d8f42eb --- /dev/null +++ b/java/jdk15-doc/pkg-descr @@ -0,0 +1,6 @@ +Java Development Kit 1.5 Documentation. Contains release information, +API documentation, guides to new features and tool documentation. + +The documentation will be installed in ${PREFIX}/share/doc/jdk1.5/ + +WWW: http://java.sun.com/j2se/1.5/