diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2018-09-10 13:14:50 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2018-09-10 13:14:50 +0000 |
| commit | e1bfdfbe5665c963621e06f6bbfbbc2c000a804e (patch) | |
| tree | eaf052562fa1ad9b232918eb5e617ac1df0dd725 /www/linux-opera/Makefile | |
| parent | f57bc4af665126de839ff734a08e57726e84da84 (diff) | |
| download | ports-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.tar.gz ports-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.zip | |
Add DOCS options to ports that should have one.
Also various fixes related to said option.
PR: 230864
Submitted by: mat
exp-runs by: antoine
Notes
Notes:
svn path=/head/; revision=479406
Diffstat (limited to 'www/linux-opera/Makefile')
| -rw-r--r-- | www/linux-opera/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/www/linux-opera/Makefile b/www/linux-opera/Makefile index 7768fc123f9d..2584e3348e94 100644 --- a/www/linux-opera/Makefile +++ b/www/linux-opera/Makefile @@ -38,6 +38,8 @@ RENAME= opera lib/opera \ share/doc/opera share/opera man/man1/opera.1 \ share/mime/packages/opera-extension.xml +OPTIONS_DEFINE= DOCS + post-extract: @${GUNZIP_CMD} ${WRKSRC}/share/man/man1/*.gz @${MV} ${WRKSRC}/share/man ${WRKSRC}/man |