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 /textproc/java2html | |
| parent | After an include, PLIST_SUB must be appended to, not overwritten. (diff) | |
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 'textproc/java2html')
| -rw-r--r-- | textproc/java2html/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/textproc/java2html/Makefile b/textproc/java2html/Makefile index 3015897136d7..91da197f2a0c 100644 --- a/textproc/java2html/Makefile +++ b/textproc/java2html/Makefile @@ -16,6 +16,8 @@ GNU_CONFIGURE= yes PORTDOCS= AUTHORS NEWS README PLIST_FILES= bin/java2html man/man1/java2html.1.gz +OPTIONS_DEFINE= DOCS + post-install: @${MKDIR} ${STAGEDIR}${DOCSDIR} cd ${WRKSRC} && ${INSTALL_DATA} ${PORTDOCS} ${STAGEDIR}${DOCSDIR} |