# New ports collection makefile for: JDK documentation # Date created: Mon Mar 8 10:10:42 EET 1999 # Whom: Martti Kuparinen # # $FreeBSD$ # PORTNAME= jdk-doc PORTVERSION= ${JDK_VERSION:S/_/./g} CATEGORIES= java MASTER_SITES= ${MASTER_SITE_LOCAL} MASTER_SITE_SUBDIR= znerd DISTNAME= jdk-${JDK_VERSION:S/./_/g}-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} WRKSRC= ${WRKDIR}/jdk${JDK_VERSION:C/_.*\$//g}/docs JDK_VERSION= 1.1.8_003 JDK_MAJOR_VER= ${JDK_VERSION:R} JDK_CONCAT_VER= ${JDK_MAJOR_VER:S/.//g} NO_BUILD= yes PORTDOCS= api guide images index.html relnotes tooldocs .include do-install: @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." @${MKDIR} ${DOCSDIR} @${CP} -R ${WRKSRC}/* ${DOCSDIR} @${ECHO} " [ DONE ]" .include 'logo' rowspan='2'>

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/textproc/py-sgrep

	Commit message (Expand)	Author	Age	Files	Lines
*	Use PLIST_FILES.	trevor	2004-02-06	2	-1/+1