diff options
| author | znerd <znerd@FreeBSD.org> | 2004-04-15 23:46:28 +0000 |
|---|---|---|
| committer | znerd <znerd@FreeBSD.org> | 2004-04-15 23:46:28 +0000 |
| commit | 3fe32cf2ebbc70e5badb2d44e26dc3676b937c35 (patch) | |
| tree | 769bee431020fde81576009fa690016dca63b44f /java/jdk15-doc | |
| parent | 0f06fa614812b92ee6911817f0289c06bcfbf535 (diff) | |
| download | FreeBSD-ports-3fe32cf2ebbc70e5badb2d44e26dc3676b937c35.zip FreeBSD-ports-3fe32cf2ebbc70e5badb2d44e26dc3676b937c35.tar.gz | |
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/
Diffstat (limited to 'java/jdk15-doc')
| -rw-r--r-- | java/jdk15-doc/Makefile | 44 | ||||
| -rw-r--r-- | java/jdk15-doc/distinfo | 2 | ||||
| -rw-r--r-- | java/jdk15-doc/pkg-descr | 6 |
3 files changed, 52 insertions, 0 deletions
diff --git a/java/jdk15-doc/Makefile b/java/jdk15-doc/Makefile new file mode 100644 index 0000000..29f45c8 --- /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 <znerd@FreeBSD.org> +# +# $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 <bsd.port.pre.mk> + +.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 <bsd.port.post.mk> diff --git a/java/jdk15-doc/distinfo b/java/jdk15-doc/distinfo new file mode 100644 index 0000000..8193352 --- /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 0000000..05ed4d8 --- /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/ |
