diff options
Diffstat (limited to 'devel/buildtool/Makefile')
| -rw-r--r-- | devel/buildtool/Makefile | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/devel/buildtool/Makefile b/devel/buildtool/Makefile index 64248bfe41d..3d867a73fcc 100644 --- a/devel/buildtool/Makefile +++ b/devel/buildtool/Makefile @@ -6,7 +6,7 @@ # PORTNAME= buildtool -PORTVERSION= 0.12 +PORTVERSION= 0.14 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -15,15 +15,8 @@ MAINTAINER= sergei@kolobov.com COMMENT= A set of portable software build utilities HAS_CONFIGURE= yes -CONFIGURE_ARGS= -p ${PREFIX} +CONFIGURE_ARGS= -p ${PREFIX} -d ${DOCSDIR} MAN1= buildtool.1 -DOCS= CHANGES PEOPLE README TODO - -.if !defined(NOPORTDOCS) -post-install: - @${MKDIR} ${DOCSDIR} - cd ${WRKSRC} && ${INSTALL_DATA} ${DOCS} ${DOCSDIR} -.endif .include <bsd.port.mk> |