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