From 13b394d6ef51c4a67e13a7730ad59c734e21fa07 Mon Sep 17 00:00:00 2001 From: Dmitry Marakasov Date: Tue, 8 Dec 2015 18:33:24 +0000 Subject: - Switch to options helpers Approved by: portmgr blanket --- java/jakarta-commons-codec/Makefile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'java') 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 - 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 -- cgit v1.2.3