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 /math/reduce-psl | |
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
Notes
Notes:
svn path=/head/; revision=479406
Diffstat (limited to 'math/reduce-psl')
-rw-r--r-- | math/reduce-psl/Makefile | 2 |
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: |