diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-12-08 18:33:24 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-12-08 18:33:24 +0000 |
| commit | 13b394d6ef51c4a67e13a7730ad59c734e21fa07 (patch) | |
| tree | 55e32c5e303839486e2011449ab0e62cb6d9a4ae | |
| parent | 5b9de1145eaa079e882d2e4c4a4c991b41792caf (diff) | |
| download | freebsd-ports-13b394d6ef51c4a67e13a7730ad59c734e21fa07.zip | |
- Switch to options helpers
Approved by: portmgr blanket
| -rw-r--r-- | java/jakarta-commons-codec/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/java/jakarta-commons-codec/Makefile b/java/jakarta-commons-codec/Makefile index e4f9eb640802..66654a8aacfe 100644 --- a/java/jakarta-commons-codec/Makefile +++ b/java/jakarta-commons-codec/Makefile @@ -24,8 +24,6 @@ PLIST_FILES= %%JAVAJARDIR%%/${PORTNAME}.jar PORTDOCS= * -.include <bsd.port.options.mk> - post-patch: @${REINPLACE_CMD} 's/1.9-SNAPSHOT/1.10/' ${WRKSRC}/default.properties @@ -34,7 +32,8 @@ do-install: @${INSTALL_DATA} ${WRKSRC}/dist/${PORTNAME}-${PORTVERSION}.jar \ ${STAGEDIR}${JAVAJARDIR}/${PORTNAME}.jar @${ECHO_MSG} " [DONE]" -.if ${PORT_OPTIONS:MDOCS} + +do-install-DOCS-on: @${ECHO_MSG} -n ">> Installing documentation..." @${MKDIR} ${STAGEDIR}${DOCSDIR} @cd ${WRKSRC}/dist/docs && ${FIND} api \ @@ -42,6 +41,5 @@ do-install: @${INSTALL_DATA} ${WRKSRC}/dist/RELEASE-NOTES.txt \ ${STAGEDIR}${DOCSDIR}/ @${ECHO_MSG} " [DONE]" -.endif .include <bsd.port.mk> |