diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/jedit-devel/Makefile | 3 | ||||
| -rw-r--r-- | editors/jedit-devel/distinfo | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/editors/jedit-devel/Makefile b/editors/jedit-devel/Makefile index d72a16aef579..dd8b1f09350e 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -PORTVERSION= 4.2.0pre8 +PORTVERSION= 4.2.0pre13 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -24,6 +24,7 @@ USE_XLIB= yes NO_BUILD= yes MAN1= jedit.1 +# The complete PLIST is generated in post-install PLIST_FILES= bin/jedit do-configure: diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index 230a1b411d91..3a9ddd1a53f3 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,2 +1,2 @@ -MD5 (jedit42pre8install.jar) = 0bb715ebd354cdbf8c1391a28649aa8c -SIZE (jedit42pre8install.jar) = 2113925 +MD5 (jedit42pre13install.jar) = 71e76c2d989218a7e745e61a40874d8c +SIZE (jedit42pre13install.jar) = 2184161 |