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/archivemail | |
| 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/archivemail')
| -rw-r--r-- | mail/archivemail/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mail/archivemail/Makefile b/mail/archivemail/Makefile index b223abd28717..9c4920718ac4 100644 --- a/mail/archivemail/Makefile +++ b/mail/archivemail/Makefile @@ -16,6 +16,8 @@ NO_BUILD= yes DOCS= CHANGELOG FAQ NEWS README TODO EXAMPLES= test_archivemail examples/archivemail_all +OPTIONS_DEFINE= DOCS EXAMPLES + do-install: ${INSTALL_SCRIPT} ${WRKSRC}/archivemail ${STAGEDIR}${PREFIX}/bin/archivemail ${INSTALL_MAN} ${WRKSRC}/archivemail.1 ${STAGEDIR}${MANPREFIX}/man/man1 |