Index: head/misc/pipe/Makefile =================================================================== --- head/misc/pipe/Makefile (revision 419993) +++ head/misc/pipe/Makefile (revision 419994) @@ -1,37 +1,33 @@ # Created by: ijliao # $FreeBSD$ PORTNAME= pipe PORTVERSION= 2.5 PORTREVISION= 1 CATEGORIES= misc java MASTER_SITES= SF/${PORTNAME}2/Pipe%202/PIPE2%20V${PORTVERSION} DISTNAME= pipe25_rc5 MAINTAINER= ports@FreeBSD.org COMMENT= Tool for creating and analysing Petri nets USES= zip NO_BUILD= yes +NO_ARCH= yes USE_JAVA= yes JAVA_VERSION= 1.6+ SUB_FILES= pipe.sh +PORTDOCS= * + OPTIONS_DEFINE= DOCS -PORTDOCS=* - do-install: ${INSTALL_SCRIPT} ${WRKDIR}/pipe.sh ${STAGEDIR}${PREFIX}/bin/pipe - @${MKDIR} ${STAGEDIR}${DATADIR} - cd ${WRKSRC} && \ - ${FIND} . -type d -exec ${MKDIR} ${STAGEDIR}${DATADIR}/{} \; - cd ${WRKSRC} && \ - ${FIND} . -type f -exec ${INSTALL_DATA} {} ${STAGEDIR}${DATADIR}/{} \; - cd ${WRKSRC}/Docs && \ - ${FIND} . -type d -exec ${MKDIR} ${STAGEDIR}${DOCSDIR}/javadoc/{} \; - cd ${WRKSRC}/Docs && \ - ${FIND} . -type f -exec ${INSTALL_DATA} {} ${STAGEDIR}${DOCSDIR}/javadoc/{} \; + cd ${WRKSRC} && ${COPYTREE_SHARE} . ${STAGEDIR}${DATADIR} + +do-install-DOCS-on: + cd ${WRKSRC}/Docs && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}/javadoc .include