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 /shells/heirloom-sh | |
| parent | f57bc4af665126de839ff734a08e57726e84da84 (diff) | |
| download | freebsd-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
Diffstat (limited to 'shells/heirloom-sh')
| -rw-r--r-- | shells/heirloom-sh/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/shells/heirloom-sh/Makefile b/shells/heirloom-sh/Makefile index e810852c83ab..becc941cf370 100644 --- a/shells/heirloom-sh/Makefile +++ b/shells/heirloom-sh/Makefile @@ -20,6 +20,8 @@ PORTDOCS= CALDERA.LICENSE OPENSOLARIS.LICENSE CHANGES README PKGINSTALL= pkg-install PKGDEINSTALL= pkg-deinstall +OPTIONS_DEFINE= DOCS + do-install: ${INSTALL_PROGRAM} ${WRKSRC}/jsh ${STAGEDIR}${PREFIX}/bin ${INSTALL_MAN} ${WRKSRC}/sh.1.out ${STAGEDIR}${MANPREFIX}/man/man1/jsh.1 |