diff options
| author | adamw <adamw@FreeBSD.org> | 2014-07-15 22:36:12 +0800 |
|---|---|---|
| committer | adamw <adamw@FreeBSD.org> | 2014-07-15 22:36:12 +0800 |
| commit | bf9707fc40f2f587e17790c3c238c6be8ca8b201 (patch) | |
| tree | 3640566e09bc0fb1e09e472c99d07891171749fe /devel/jline | |
| parent | 75737a13b8e2ecb3c26b28c472896d312374f47c (diff) | |
| download | freebsd-ports-gnome-bf9707fc40f2f587e17790c3c238c6be8ca8b201.tar.gz freebsd-ports-gnome-bf9707fc40f2f587e17790c3c238c6be8ca8b201.tar.zst freebsd-ports-gnome-bf9707fc40f2f587e17790c3c238c6be8ca8b201.zip | |
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
Diffstat (limited to 'devel/jline')
| -rw-r--r-- | devel/jline/Makefile | 2 |
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 |