diff options
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 c2ea738313c6..d46c5158f2ba 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -39,6 +39,8 @@ do-install: ${STAGEDIR}${PREFIX}/bin/portlint ${INSTALL_MAN} ${WRKSRC}/portlint.1 \ ${STAGEDIR}${MAN1PREFIX}/man/man1 + +do-install-EXAMPLES-on: ${MKDIR} ${STAGEDIR}${EXAMPLESDIR} ${INSTALL_SCRIPT} ${WRKSRC}/portlintgrep.pl \ ${STAGEDIR}${EXAMPLESDIR}/portlintgrep |