diff options
| author | jgh <jgh@FreeBSD.org> | 2012-07-10 02:29:51 +0800 |
|---|---|---|
| committer | jgh <jgh@FreeBSD.org> | 2012-07-10 02:29:51 +0800 |
| commit | fc2a5ac7586d6b2f010c49425ecd04d2ccb17984 (patch) | |
| tree | baa4a709f73f2fd0cf5165d1dea64b2534c1b30d /ports-mgmt | |
| parent | 9b4dc76104d09c26c940e0eff6f8badbc5706c8f (diff) | |
| download | freebsd-ports-gnome-fc2a5ac7586d6b2f010c49425ecd04d2ccb17984.tar.gz freebsd-ports-gnome-fc2a5ac7586d6b2f010c49425ecd04d2ccb17984.tar.zst freebsd-ports-gnome-fc2a5ac7586d6b2f010c49425ecd04d2ccb17984.zip | |
- adopt new options framework
PR: ports/169743
Submitted by: jgh@
Approved by: maintainer, naylor.b.david@gmail.com
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portbuilder/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ports-mgmt/portbuilder/Makefile b/ports-mgmt/portbuilder/Makefile index 52172c08a311..dad0b8e59e0a 100644 --- a/ports-mgmt/portbuilder/Makefile +++ b/ports-mgmt/portbuilder/Makefile @@ -20,8 +20,10 @@ USE_XZ= yes PORTDOCS= BUGS ChangeLog COPYRIGHT README +.include <bsd.port.options.mk> + post-install: -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} ${MKDIR} ${DOCSDIR} .for file in ${PORTDOCS} ${INSTALL_DATA} ${WRKSRC}/${file} ${DOCSDIR} |