From owner-svn-ports-all@FreeBSD.ORG  Mon Apr 15 18:55:02 2013
Return-Path: <owner-svn-ports-all@FreeBSD.ORG>
Delivered-To: svn-ports-all@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id 19123B7;
 Mon, 15 Apr 2013 18:55:02 +0000 (UTC)
 (envelope-from bdrewery@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 by mx1.freebsd.org (Postfix) with ESMTP id 0BCF61389;
 Mon, 15 Apr 2013 18:55:02 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.6/8.14.6) with ESMTP id r3FIt1U4031733;
 Mon, 15 Apr 2013 18:55:01 GMT
 (envelope-from bdrewery@svn.freebsd.org)
Received: (from bdrewery@localhost)
 by svn.freebsd.org (8.14.6/8.14.5/Submit) id r3FIt15A031728;
 Mon, 15 Apr 2013 18:55:01 GMT
 (envelope-from bdrewery@svn.freebsd.org)
Message-Id: <201304151855.r3FIt15A031728@svn.freebsd.org>
From: Bryan Drewery <bdrewery@FreeBSD.org>
Date: Mon, 15 Apr 2013 18:55:01 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r315806 - head/math/proofgeneral
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-all@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree <svn-ports-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-all>
List-Post: <mailto:svn-ports-all@freebsd.org>
List-Help: <mailto:svn-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 15 Apr 2013 18:55:02 -0000

Author: bdrewery
Date: Mon Apr 15 18:55:01 2013
New Revision: 315806
URL: http://svnweb.freebsd.org/changeset/ports/315806

Log:
  - Don't delete gnomehier directories
  
  Approved by:	portmgr (implicit)
  Pointyhat to:	bdrewery (for breaking poudriere deleted dir detection leading to the previous commit)

Modified:
  head/math/proofgeneral/Makefile
  head/math/proofgeneral/pkg-plist

Modified: head/math/proofgeneral/Makefile
==============================================================================
--- head/math/proofgeneral/Makefile	Mon Apr 15 17:29:36 2013	(r315805)
+++ head/math/proofgeneral/Makefile	Mon Apr 15 18:55:01 2013	(r315806)
@@ -3,7 +3,7 @@
 
 PORTNAME=	proofgeneral
 PORTVERSION=	4.1
-PORTREVISION=	6
+PORTREVISION=	7
 CATEGORIES=	math elisp
 MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
 PKGNAMESUFFIX=	-${EMACS_NAME}

Modified: head/math/proofgeneral/pkg-plist
==============================================================================
--- head/math/proofgeneral/pkg-plist	Mon Apr 15 17:29:36 2013	(r315805)
+++ head/math/proofgeneral/pkg-plist	Mon Apr 15 18:55:01 2013	(r315806)
@@ -232,7 +232,6 @@ share/icons/hicolor/48x48/proofgeneral.p
 share/mime-info/proofgeneral.keys
 share/mime-info/proofgeneral.mime
 share/pixmaps/proofgeneral.png
-@dirrmtry share/mime-info
 @dirrmtry share/icons/hicolor/48x48
 @dirrmtry share/icons/hicolor/32x32
 @dirrmtry share/icons/hicolor/16x16
@@ -254,5 +253,4 @@ share/pixmaps/proofgeneral.png
 @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2
 @dirrm %%EMACS_SITE_LISPDIR%%/ProofGeneral
 @dirrmtry share/applications
-@dirrmtry share/application-registry
 @dirrmtry share/pixmaps