diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-12-21 00:59:49 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-12-21 00:59:49 +0800 |
| commit | 4d3290acc2d7d40b067d1473ec09e52aeca42d7a (patch) | |
| tree | 44fba17983b2a963dab2e9336aa16a97c863a9d7 /misc | |
| parent | 745b089437e353677fa13f5b7b072a90fa0d854d (diff) | |
| download | freebsd-ports-gnome-4d3290acc2d7d40b067d1473ec09e52aeca42d7a.tar.gz freebsd-ports-gnome-4d3290acc2d7d40b067d1473ec09e52aeca42d7a.tar.zst freebsd-ports-gnome-4d3290acc2d7d40b067d1473ec09e52aeca42d7a.zip | |
- Switch to options helpers
Diffstat (limited to 'misc')
| -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} |