aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorAndrey Slusar <anray@FreeBSD.org>2007-03-05 19:38:17 +0000
committerAndrey Slusar <anray@FreeBSD.org>2007-03-05 19:38:17 +0000
commit5a404d2004148308e2541b0fc5ba403fb6159459 (patch)
tree31c011d8bbf76e6fbe90a76306cf82f9ee3e6f67 /math/proofgeneral
parent8104ec8cbc20f839de8605a68e259847791907fc (diff)
downloadports-5a404d2004148308e2541b0fc5ba403fb6159459.tar.gz
ports-5a404d2004148308e2541b0fc5ba403fb6159459.zip
Notes
Diffstat (limited to 'math/proofgeneral')
-rw-r--r--math/proofgeneral/Makefile2
-rw-r--r--math/proofgeneral/files/patch-Makefile5
2 files changed, 3 insertions, 4 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index 612bafb0cef4..1503d124d84e 100644
--- a/math/proofgeneral/Makefile
+++ b/math/proofgeneral/Makefile
@@ -20,8 +20,6 @@ PKGNAMESUFFIX+= -${EMACS_NAME}
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.
diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile
index e2c5b6515c59..2de740aac490 100644
--- a/math/proofgeneral/files/patch-Makefile
+++ b/math/proofgeneral/files/patch-Makefile
@@ -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