diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-12-29 17:42:07 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-12-29 17:42:07 +0800 |
| commit | 708c8c0ef001d2b45eedf6c6cb86cf1a575036ca (patch) | |
| tree | 30a2f24ae1d5610a817d16528ab96891a8723191 /multimedia | |
| parent | ca94735e84af47a10545362669d921ba8a3de08c (diff) | |
| download | freebsd-ports-gnome-708c8c0ef001d2b45eedf6c6cb86cf1a575036ca.tar.gz freebsd-ports-gnome-708c8c0ef001d2b45eedf6c6cb86cf1a575036ca.tar.zst freebsd-ports-gnome-708c8c0ef001d2b45eedf6c6cb86cf1a575036ca.zip | |
- Switch to options helpers
Diffstat (limited to 'multimedia')
| -rw-r--r-- | multimedia/dvdid/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/multimedia/dvdid/Makefile b/multimedia/dvdid/Makefile index c4ed409d0fcb..24475cd190f1 100644 --- a/multimedia/dvdid/Makefile +++ b/multimedia/dvdid/Makefile @@ -15,6 +15,7 @@ GNU_CONFIGURE= yes USE_LDCONFIG= yes PORTDOCS= * + OPTIONS_DEFINE= DOCS post-patch: @@ -23,6 +24,7 @@ post-patch: post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/lib${PORTNAME}.so +post-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} cd ${WRKSRC}/doc && ${INSTALL_DATA} dvdid.tag ${STAGEDIR}${DOCSDIR} @${MKDIR} ${STAGEDIR}${DOCSDIR}/html/api |