diff options
Diffstat (limited to 'java/jboss2/Makefile')
| -rw-r--r-- | java/jboss2/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/java/jboss2/Makefile b/java/jboss2/Makefile index c1f9a377a91a..4ccf88f02858 100644 --- a/java/jboss2/Makefile +++ b/java/jboss2/Makefile @@ -7,7 +7,7 @@ PORTNAME= ${APP_TITLE:L} PORTVERSION= 2.4.11 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= java devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -24,6 +24,10 @@ NO_BUILD= YES LATEST_LINK= jboss2 +.if !defined(NO_INSTALL_MANPAGES) +MAN1= ${CONTROL_SCRIPT_NAME}.1 +.endif + WRKSRC= ${WRKDIR}/${DISTNAME} APP_HOME?= ${PREFIX}/${PKGBASE}${PORTVERSION:R} LOG_DIR= ${APP_HOME}/log @@ -141,7 +145,7 @@ do-install: @${CHMOD} 0544 ${STARTUP_SCRIPT} @${ECHO_CMD} " [ DONE ]" -.if !defined(NOPORTDOCS) +.if !defined(NO_INSTALL_MANPAGES) @${ECHO_CMD} -n ">> Installing man pages..." @${INSTALL_MAN} ${WRKDIR}/daemonctl.1 ${MANPREFIX}/man/man1/${CONTROL_SCRIPT_NAME}.1 @${ECHO_CMD} " [ DONE ]" |