mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-16 03:24:07 +00:00
4b0771b443
. Set IGNORE if NOPORTDOCS is set since this port only installs docs. [2] Pointed out by: portlint [1] QAT [2]
49 lines
1.4 KiB
Makefile
49 lines
1.4 KiB
Makefile
# 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}
|
|
PORTREVISION= 1
|
|
CATEGORIES= java
|
|
MASTER_SITES= #
|
|
DISTNAME= jdk-1_5_0-doc
|
|
|
|
MAINTAINER= java@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.
|
|
.if defined(NOPORTDOCS)
|
|
IGNORE= port only installs documentation
|
|
.endif
|
|
|
|
WRKSRC= ${WRKDIR}/docs
|
|
JDK_VERSION= 1.5.0
|
|
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=jdk-1.5.0-doc-oth-JPR&SiteId=JSC&TransactionId=noreg
|
|
|
|
NO_BUILD= yes
|
|
USE_ZIP= yes
|
|
PORTDOCS= api guide images index.html relnotes tooldocs
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) && !defined(PACKAGE_BUILDING)
|
|
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>
|