ports/99341: math/isabelle: Fix plist

Shaun Amott shaun at FreeBSD.org
Fri Jun 23 01:50:26 UTC 2006


>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
- at dirrm share/nls/en_US.US-ASCII
- at 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:



More information about the freebsd-ports-bugs mailing list