diff options
| author | vs <vs@FreeBSD.org> | 2004-06-03 18:03:09 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2004-06-03 18:03:09 +0800 |
| commit | 6ae0b03e7f98b78fe143a69c365ebdb7973abe89 (patch) | |
| tree | cfcad56619f8b1144d0ba1f68ca75b69b264dad2 /editors | |
| parent | a52651f568ab8c2a2d43ee446af1dbbb933fa939 (diff) | |
| download | freebsd-ports-gnome-6ae0b03e7f98b78fe143a69c365ebdb7973abe89.tar.gz freebsd-ports-gnome-6ae0b03e7f98b78fe143a69c365ebdb7973abe89.tar.zst freebsd-ports-gnome-6ae0b03e7f98b78fe143a69c365ebdb7973abe89.zip | |
- Update to pre13
- Note that PLIST is generated on the fly in Makefile white here
PR: ports/67514
Submitted by: Linh Pham
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 |