Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 23 Jun 2006 02:49:18 +0100
From:      Shaun Amott <shaun@FreeBSD.org>
To:        FreeBSD-gnats-submit@FreeBSD.org
Cc:        timbob@bigpond.com
Subject:   ports/99341: math/isabelle: Fix plist
Message-ID:  <1151027358.75042@charon.picobyte.net>
Resent-Message-ID: <200606230150.k5N1oNmV012522@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help

>Number:         99341
>Category:       ports
>Synopsis:       math/isabelle: Fix plist
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Fri Jun 23 01:50:22 GMT 2006
>Closed-Date:
>Last-Modified:
>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:
>Unformatted:



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1151027358.75042>