diff options
| author | Volker Stolz <vs@FreeBSD.org> | 2004-06-03 10:03:09 +0000 |
|---|---|---|
| committer | Volker Stolz <vs@FreeBSD.org> | 2004-06-03 10:03:09 +0000 |
| commit | 73f024789f55f18dfc2f27733916782b259b507c (patch) | |
| tree | 63a0f99f69417bf10c525060ff3ffe8dd04ca6fd /editors | |
| parent | fbcd0e62fa1ceeef3d5cb71b457a9a33f06affaf (diff) | |
| download | ports-73f024789f55f18dfc2f27733916782b259b507c.tar.gz ports-73f024789f55f18dfc2f27733916782b259b507c.zip | |
- Update to pre13
- Note that PLIST is generated on the fly in Makefile white here
PR: ports/67514
Submitted by: Linh Pham
Notes
Notes:
svn path=/head/; revision=110745
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 |