ports/109930: Update port: math/proofgeneral minor bugfix

[Timothy Bourke]

>Number:         109930
>Category:       ports
>Synopsis:       Update port: math/proofgeneral minor bugfix
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Mon Mar 05 16:20:08 GMT 2007
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Bourke
>Release:        FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m)
>Organization:
n/a
>Environment:
>Description:
The port does not deinstall cleanly because of an error in
		the Makefile patch. This is detected by the pointyhat.
>How-To-Repeat:
>Fix:

--- proofgeneral.diff begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v
retrieving revision 1.12
diff -u -r1.12 Makefile
--- Makefile	27 Feb 2007 04:54:19 -0000	1.12
+++ Makefile	5 Mar 2007 09:09:11 -0000
@@ -2,7 +2,7 @@
 # Date created:        11 August 2005
 # Whom:                Timothy Bourke <timbob at bigpond.com>
 #
-# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.12 2007/02/27 04:54:19 kris Exp $
+# $FreeBSD$
 #
 
 PORTNAME=	proofgeneral
@@ -20,8 +20,6 @@
 BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
 RUN_DEPENDS+=	${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
 
-BROKEN=		Incomplete pkg-plist
-
 #
 # Unless EMACS_PORT_NAME is overriden by the user,
 # use any installed version of [X]Emacs.
Index: files/patch-Makefile
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/files/patch-Makefile,v
retrieving revision 1.3
diff -u -r1.3 patch-Makefile
--- files/patch-Makefile	6 Feb 2007 22:55:25 -0000	1.3
+++ files/patch-Makefile	5 Mar 2007 09:09:12 -0000
@@ -1,5 +1,5 @@
 --- Makefile.orig	Sat Sep 23 05:26:01 2006
-+++ Makefile	Tue Jan  2 10:42:43 2007
++++ Makefile	Mon Mar  5 19:53:43 2007
 @@ -15,7 +15,7 @@
  
  # Set this to "emacs" or "xemacs" according to your version of Emacs.
@@ -85,8 +85,9 @@
 +	fi
 +
  # backwards compatibility with old linuxes
- 	mkdir -p ${DESKTOP}/application-registry
+-	mkdir -p ${DESKTOP}/application-registry
 -	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
++	mkdir -p ${DESKTOP}/gnome/application-registry
 +	cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry
  
  # NB: .el files are not strictly necessary, but we package/install them
--- proofgeneral.diff ends here ---

>Release-Note:
>Audit-Trail:
>Unformatted: