ports/71182: Port Update - editors/jedit -- updating port to 4.2 final

[Linh Pham]

>Number:         71182
>Category:       ports
>Synopsis:       Port Update - editors/jedit -- updating port to 4.2 final
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Tue Aug 31 06:10:32 GMT 2004
>Closed-Date:
>Last-Modified:
>Originator:     Linh Pham
>Release:        FreeBSD 5.2.1-RELEASE-p8 i386
>Organization:
>Environment:
System: FreeBSD q.internal.closedsrc.org 5.2.1-RELEASE-p8 FreeBSD 5.2.1-RELEASE-p8 #2: Sat Jun 5 19:22:58 PDT 2004 question at q.internal.closedsrc.org:/usr/obj/usr/src/sys/Q i386


	
>Description:
jEdit 4.2 final has been released as a stable release. To update editors/jedit
to the new version, a repocopy of editors/jedit-devel needs to be made to
editors/jedit and apply the included patch.

editors/jedit-devel can be set to IGNORE until the 4.3 development branch
starts up.
>How-To-Repeat:
>Fix:

--- jedit42.diff begins here ---
1c1
< # New ports collection makefile for:    jedit-devel
---
> # New ports collection makefile for:    jedit
9c9
< PORTVERSION=	4.2.0pre15
---
> PORTVERSION=	4.2
1,2c1,2
< MD5 (jedit42pre15install.jar) = bc91d479864cae0bf0471de13036251b
< SIZE (jedit42pre15install.jar) = 2066422
---
> MD5 (jedit42install.jar) = 4d3f709778d619ccf9fc2d56b60b7cb9
> SIZE (jedit42install.jar) = 2072958
--- jedit42.diff ends here ---


>Release-Note:
>Audit-Trail:
>Unformatted: