aboutsummaryrefslogtreecommitdiff
path: root/devel/jline
diff options
context:
space:
mode:
authorAdam Weinberger <adamw@FreeBSD.org>2014-07-15 14:36:12 +0000
committerAdam Weinberger <adamw@FreeBSD.org>2014-07-15 14:36:12 +0000
commit38c88dc57d76f8dfe5d3f87280445a82ac9c05ba (patch)
tree3640566e09bc0fb1e09e472c99d07891171749fe /devel/jline
parentc5f6c8b922eeb8bc68f2499f8bbee0bb91d8512a (diff)
Notes
Diffstat (limited to 'devel/jline')
-rw-r--r--devel/jline/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/jline/Makefile b/devel/jline/Makefile
index f6c2fa6f1b8c..021c12517669 100644
--- a/devel/jline/Makefile
+++ b/devel/jline/Makefile
@@ -14,7 +14,7 @@ LICENSE= BSD
PKGMESSAGE= ${WRKDIR}/pkg-message
USES= zip
USE_JAVA= yes
-OPTIONS_DEFINE= JLINEPATCH
+OPTIONS_DEFINE= JLINEPATCH DOCS
JLINEPATCH_DESC= Allow ConsoleRunner customized completion
JLINEJAR= ${WRKSRC}/jline-${PORTVERSION}.jar
SUB_FILES= pkg-message