From shaun@FreeBSD.org  Fri Jun 23 01:49:20 2006
Return-Path: <shaun@FreeBSD.org>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 710E516A492
	for <FreeBSD-gnats-submit@freebsd.org>; Fri, 23 Jun 2006 01:49:20 +0000 (UTC)
	(envelope-from shaun@FreeBSD.org)
Received: from dione.picobyte.net (host-212-158-207-124.bulldogdsl.com [212.158.207.124])
	by mx1.FreeBSD.org (Postfix) with SMTP id E0892444D2
	for <FreeBSD-gnats-submit@freebsd.org>; Fri, 23 Jun 2006 01:49:19 +0000 (GMT)
	(envelope-from shaun@FreeBSD.org)
Received: from charon.picobyte.net (charon.picobyte.net [IPv6:2001:4bd0:201e::fe03])
	by dione.picobyte.net (Postfix) with ESMTP;
	Fri, 23 Jun 2006 02:49:16 +0100 (BST)
Message-Id: <1151027358.75042@charon.picobyte.net>
Date: Fri, 23 Jun 2006 02:49:18 +0100
From: Shaun Amott <shaun@FreeBSD.org>
Reply-To: Shaun Amott <shaun@FreeBSD.org>
To: FreeBSD-gnats-submit@freebsd.org
Cc: timbob@bigpond.com
Subject: math/isabelle: Fix plist
X-Send-Pr-Version: 3.113
X-GNATS-Notify: timbob@bigpond.com

>Number:         99341
>Category:       ports
>Synopsis:       math/isabelle: Fix plist
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    shaun
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Fri Jun 23 01:50:22 GMT 2006
>Closed-Date:    Fri Jun 23 02:31:05 GMT 2006
>Last-Modified:  Fri Jun 23 02:31:05 GMT 2006
>Originator:     Shaun Amott
>Release:        FreeBSD 6.1-STABLE i386
>Organization:
>Environment:

>Description:

Don't remove system files. :)

>How-To-Repeat:

>Fix:

--- math::isabelle.diff begins here ---
Index: math/isabelle/pkg-plist
===================================================================
RCS file: /home/pcvs/ports/math/isabelle/pkg-plist,v
retrieving revision 1.2
diff -u -r1.2 pkg-plist
--- math/isabelle/pkg-plist	1 May 2006 18:01:58 -0000	1.2
+++ math/isabelle/pkg-plist	22 Jun 2006 20:31:42 -0000
@@ -3640,8 +3640,6 @@
 %%DATADIR%%/src/ZF/simpdata.ML
 %%DATADIR%%/src/ZF/thy_syntax.ML
 %%DATADIR%%/src/ZF/upair.thy
-@dirrm share/nls/en_US.US-ASCII
-@dirrm share/nls/POSIX
 @dirrm share/isabelle/src/ZF/ex
 @dirrm share/isabelle/src/ZF/document
 @dirrm share/isabelle/src/ZF/UNITY
--- math::isabelle.diff ends here ---


>Release-Note:
>Audit-Trail:
Responsible-Changed-From-To: freebsd-ports-bugs->shaun 
Responsible-Changed-By: edwin 
Responsible-Changed-When: Fri Jun 23 01:51:29 UTC 2006 
Responsible-Changed-Why:  
Submitter has GNATS access 

http://www.freebsd.org/cgi/query-pr.cgi?pr=99341 
State-Changed-From-To: open->feedback 
State-Changed-By: edwin 
State-Changed-When: Fri Jun 23 01:51:44 UTC 2006 
State-Changed-Why:  
Awaiting maintainers feedback 

http://www.freebsd.org/cgi/query-pr.cgi?pr=99341 

From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@FreeBSD.ORG
Cc:  
Subject: Re: ports/99341: math/isabelle: Fix plist
Date: Fri, 23 Jun 2006 12:19:47 +1000

 --DiL7RhKs8rK9YGuF
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 Content-Transfer-Encoding: quoted-printable
 
 I approve the patch. Thank you.
 
 On Jun 23 at 01:51 +0000, Edwin Groothuis wrote:
 > Maintainer of math/isabelle,
 >=20
 > Please note that PR ports/99341 has just been submitted.
 >=20
 > If it contains a patch for an upgrade, an enhancement or a bug fix
 > you agree on, reply to this email stating that you approve the patch
 > and a committer will take care of it.
 >=20
 > The full text of the PR can be found at:
 >     http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/99341
 >=20
 > --=20
 > Edwin Groothuis
 > edwin@FreeBSD.org
 
 --DiL7RhKs8rK9YGuF
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v1.4.0 (FreeBSD)
 
 iD8DBQFEm0/CtKVK1sFb0ecRAjk0AJ9Gze5aHgBHgGzV5/wEAJFRM4OosQCdFNPe
 NqXd9zUIb/1MzRAfWwYPS0I=
 =jakE
 -----END PGP SIGNATURE-----
 
 --DiL7RhKs8rK9YGuF--
State-Changed-From-To: feedback->closed 
State-Changed-By: shaun 
State-Changed-When: Fri Jun 23 02:30:48 UTC 2006 
State-Changed-Why:  
Committed. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=99341 
>Unformatted:
