diff options
| author | adamw <adamw@FreeBSD.org> | 2014-07-16 11:00:46 +0800 |
|---|---|---|
| committer | adamw <adamw@FreeBSD.org> | 2014-07-16 11:00:46 +0800 |
| commit | 037277c495c4a69f56029e71eecf6838910561c8 (patch) | |
| tree | 728a3619568ce38b9188fc0b8717a16a880d52d3 /mail/ez-pine-gpg/Makefile | |
| parent | 944f55c3adc149ff34c18999a68dd201bd55600a (diff) | |
| download | freebsd-ports-gnome-037277c495c4a69f56029e71eecf6838910561c8.tar.gz freebsd-ports-gnome-037277c495c4a69f56029e71eecf6838910561c8.tar.zst freebsd-ports-gnome-037277c495c4a69f56029e71eecf6838910561c8.zip | |
Add DOCS option for ports with PORTDOCS in plist.
Diffstat (limited to 'mail/ez-pine-gpg/Makefile')
| -rw-r--r-- | mail/ez-pine-gpg/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mail/ez-pine-gpg/Makefile b/mail/ez-pine-gpg/Makefile index 880ce7051b21..0064c4ee7dab 100644 --- a/mail/ez-pine-gpg/Makefile +++ b/mail/ez-pine-gpg/Makefile @@ -17,6 +17,8 @@ RUN_DEPENDS= gpg:${PORTSDIR}/security/gnupg WRKSRC= ${WRKDIR}/${PORTNAME} NO_BUILD= yes +OPTIONS_DEFINE= DOCS + do-install: (cd ${WRKSRC} && ./install ${STAGEDIR}${PREFIX}/bin) |