Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v
retrieving revision 1.7
diff -u -r1.7 Makefile
--- Makefile	15 Oct 2006 20:06:03 -0000	1.7
+++ Makefile	10 Nov 2006 18:10:44 -0000
@@ -2,7 +2,7 @@
 # Date created:        11 August 2005
 # Whom:                Timothy Bourke <timbob@bigpond.com>
 #
-# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.7 2006/10/15 20:06:03 kris Exp $
+# $FreeBSD$
 #
 
 PORTNAME=	proofgeneral
@@ -19,12 +19,10 @@
 BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
 RUN_DEPENDS+=	${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
 
-BROKEN=		Incorrect pkg-plist
-
 .include <bsd.port.pre.mk>
 
 .if ${ARCH} == "amd64"
-BROKEN=		"Does not build on amd64"
+BROKEN="Does not build on amd64"
 .endif
 
 #
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/distinfo,v
retrieving revision 1.3
diff -u -r1.3 distinfo
--- distinfo	1 May 2006 18:00:51 -0000	1.3
+++ distinfo	10 Nov 2006 18:10:44 -0000
@@ -1,2 +1,3 @@
 MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
+SHA256 (ProofGeneral-3.6pre051004.tar.gz) = b0c755df755de00ed2865a5ce3a4719bb48e70da7694fad67a610a5d97a3c043
 SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863
Index: pkg-plist
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/pkg-plist,v
retrieving revision 1.5
diff -u -r1.5 pkg-plist
--- pkg-plist	16 May 2006 12:03:31 -0000	1.5
+++ pkg-plist	10 Nov 2006 18:10:45 -0000
@@ -427,7 +427,6 @@
 @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
 @dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
 @dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
-@dirrmtry %%EMACS_SITE_LISPDIR%%
 share/application-registry/proofgeneral.applications
 share/applications/proofgeneral.desktop
 share/icons/hicolor/16x16/proofgeneral.png