diff options
Diffstat (limited to 'java/jakarta-commons-cli')
-rw-r--r-- | java/jakarta-commons-cli/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/jakarta-commons-cli/Makefile b/java/jakarta-commons-cli/Makefile index eba678575991..5517d7fc3461 100644 --- a/java/jakarta-commons-cli/Makefile +++ b/java/jakarta-commons-cli/Makefile @@ -43,8 +43,8 @@ do-install: .if !defined(NOPORTDOCS) @${ECHO} -n ">> Installing documentation in ${DOCSDIR}..." - ${MKDIR} ${DOCSDIR} - ${CP} -r ${WRKSRC}/target/docs/apidocs/* ${DOCSDIR} + @${MKDIR} ${DOCSDIR} + @${CP} -r ${WRKSRC}/target/docs/apidocs/* ${DOCSDIR} @${ECHO} " [ DONE ]" .endif |