diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-12-29 09:42:07 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-12-29 09:42:07 +0000 |
commit | c253bc9761aeabadbd5bff17886b8d4b2f6d4f15 (patch) | |
tree | 30a2f24ae1d5610a817d16528ab96891a8723191 | |
parent | 3ca956b30b02aa6eb491d8743cb281996a140114 (diff) | |
download | ports-c253bc9761aeabadbd5bff17886b8d4b2f6d4f15.tar.gz ports-c253bc9761aeabadbd5bff17886b8d4b2f6d4f15.zip |
Notes
-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 |