diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/jedit-devel/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/editors/jedit-devel/Makefile b/editors/jedit-devel/Makefile index cfd01a29237c..ed6c781a2d70 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -13,11 +13,13 @@ MASTER_SITE_SUBDIR= ${PORTNAME} _DISTNAME= ${PORTNAME}${PORTVERSION:S/.//g}install DISTNAME= ${_DISTNAME:S/0pre/pre/} EXTRACT_SUFX= .jar -EXTRACT_ONLY= +EXTRACT_ONLY= MAINTAINER= ports@FreeBSD.org COMMENT= Powerful programmer's text editor written in Java +IGNORE= "marked as IGNORE: editors/jedit is the latest version" + USE_JAVA= 1.3+ USE_XLIB= yes |