diff options
author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 20:00:43 +0000 |
---|---|---|
committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 20:00:43 +0000 |
commit | 88a055c8b12522c7c536630c116f32d790b1ce83 (patch) | |
tree | 74f687548bc54abc3333e42b5ca835d514e63474 /ports-mgmt | |
parent | - USES=libtool tar:bzip2 (diff) |
Add missing EXAMPLES and DOCS to a couple ports that
already honour PORTDOCS and PORTEXAMPLES in the plist.
Notes
Notes:
svn path=/head/; revision=361999
Diffstat (limited to 'ports-mgmt')
-rw-r--r-- | ports-mgmt/portlint/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 96e3d332c479..2563e1df6025 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -24,6 +24,8 @@ PLIST_FILES= bin/portlint \ PORTEXAMPLES= portlintgrep +OPTIONS_DEFINE= EXAMPLES + pre-patch: @${CP} -R ${SRC} ${WRKDIR} |