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@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