From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Jun 23 01:50:26 2006 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id C97B816A482 for ; Fri, 23 Jun 2006 01:50:26 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id A823C444D5 for ; Fri, 23 Jun 2006 01:50:23 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id k5N1oNkT012523 for ; Fri, 23 Jun 2006 01:50:23 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id k5N1oNmV012522; Fri, 23 Jun 2006 01:50:23 GMT (envelope-from gnats) Resent-Date: Fri, 23 Jun 2006 01:50:23 GMT Resent-Message-Id: <200606230150.k5N1oNmV012522@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Shaun Amott Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 710E516A492 for ; 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 ; 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 To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: timbob@bigpond.com Subject: ports/99341: math/isabelle: Fix plist X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Shaun Amott List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 23 Jun 2006 01:50:26 -0000 >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: