diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2018-09-10 21:14:50 +0800 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2018-09-10 21:14:50 +0800 |
| commit | e1bfdfbe5665c963621e06f6bbfbbc2c000a804e (patch) | |
| tree | eaf052562fa1ad9b232918eb5e617ac1df0dd725 /graphics/openjump | |
| parent | f57bc4af665126de839ff734a08e57726e84da84 (diff) | |
| download | freebsd-ports-gnome-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.tar.gz freebsd-ports-gnome-e1bfdfbe5665c963621e06f6bbfbbc2c000a804e.tar.zst freebsd-ports-gnome-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 'graphics/openjump')
| -rw-r--r-- | graphics/openjump/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/graphics/openjump/Makefile b/graphics/openjump/Makefile index c64cef77b560..1dc6faaa48f2 100644 --- a/graphics/openjump/Makefile +++ b/graphics/openjump/Makefile @@ -48,6 +48,8 @@ TARGET_DIR= ${STAGEDIR}${PREFIX}/${PORTNAME} WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}-r${PLUS_REV}-PLUS PLUS_REV= 5792 +OPTIONS_DEFINE= DOCS + do-install: @${ECHO_CMD} "---> Installing JAR files" ${MKDIR} ${TARGET_DIR}/lib |