summaryrefslogtreecommitdiff
path: root/math/reduce-psl
diff options
context:
space:
mode:
authorMathieu Arnold <mat@FreeBSD.org>2018-09-10 13:14:50 +0000
committerMathieu Arnold <mat@FreeBSD.org>2018-09-10 13:14:50 +0000
commite1bfdfbe5665c963621e06f6bbfbbc2c000a804e (patch)
treeeaf052562fa1ad9b232918eb5e617ac1df0dd725 /math/reduce-psl
parentAfter 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
Notes
Notes: svn path=/head/; revision=479406
Diffstat (limited to 'math/reduce-psl')
-rw-r--r--math/reduce-psl/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/math/reduce-psl/Makefile b/math/reduce-psl/Makefile
index e9c987d649d9..c414070a1f95 100644
--- a/math/reduce-psl/Makefile
+++ b/math/reduce-psl/Makefile
@@ -35,6 +35,8 @@ CONFIGURE_ARGS= --with-psl
REDUCE_BINS= ${WRKSRC}/pslbuild/${TARGET_SDIR}
+OPTIONS_DEFINE= DOCS
+
.include <bsd.port.options.mk>
do-install: