diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-12-20 16:59:49 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-12-20 16:59:49 +0000 |
| commit | 0fb9caaf2c8bfb9733f7f2273a5e1fe50ba38749 (patch) | |
| tree | 44fba17983b2a963dab2e9336aa16a97c863a9d7 /misc/boxes | |
| parent | b05489ca8a4d40dab7ad55f1b8f23578a9029824 (diff) | |
Notes
Diffstat (limited to 'misc/boxes')
| -rw-r--r-- | misc/boxes/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/misc/boxes/Makefile b/misc/boxes/Makefile index b159986a7e8d..3c7d702abfd4 100644 --- a/misc/boxes/Makefile +++ b/misc/boxes/Makefile @@ -29,6 +29,8 @@ PLIST_FILES= bin/${PORTNAME} \ PORTDOCS= README +OPTIONS_DEFINE= DOCS + post-patch: @${RM} ${WRKSRC}/src/${PORTNAME}.h ${WRKSRC}/doc/${PORTNAME}.1 @@ -39,6 +41,7 @@ do-install: ${INSTALL_MAN} ${WRKSRC}/doc/${PORTNAME}.1 \ ${STAGEDIR}${MAN1PREFIX}/man/man1/ +do-install-DOCS-on: ${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR} |