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 /lang/snobol4 | |
parent | f57bc4af665126de839ff734a08e57726e84da84 (diff) | |
download | ports-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.tar.gz 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
Notes
Notes:
svn path=/head/; revision=479406
Diffstat (limited to 'lang/snobol4')
-rw-r--r-- | lang/snobol4/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/snobol4/Makefile b/lang/snobol4/Makefile index f67df6c4e1b2..1bb139af09a2 100644 --- a/lang/snobol4/Makefile +++ b/lang/snobol4/Makefile @@ -20,6 +20,8 @@ ALL_TARGET= xsnobol4 DOCSDIR= ${PREFIX}/share/doc/${PORTNAME}-${PORTVERSION} PORTDOCS= * +OPTIONS_DEFINE= DOCS + post-patch: @${REINPLACE_CMD} 's:[^=]*\.tmp$$:${WRKSRC}/&:' ${WRKSRC}/configure @${REINPLACE_CMD} '/grep/s/$$/| egrep -v "built-in|command line"/' \ |