summaryrefslogtreecommitdiffstats
path: root/math
diff options
context:
space:
mode:
authormezz <mezz@df743ca5-7f9a-e211-a948-0013205c9059>2007-10-11 11:12:29 +0800
committermezz <mezz@df743ca5-7f9a-e211-a948-0013205c9059>2007-10-11 11:12:29 +0800
commite608c50ec82d0f8fc5353f441bcdf9ddafd423ec (patch)
tree15c5dc9b25177df1909e0d6d5d127809117afe16 /math
parentbded04baec5c9836be49f82bd4e766f10fa40e88 (diff)
downloadmarcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.tar
marcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.tar.gz
marcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.tar.bz2
marcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.tar.lz
marcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.tar.xz
marcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.tar.zst
marcuscom-ports-e608c50ec82d0f8fc5353f441bcdf9ddafd423ec.zip
Fix the plist.
Reported by: pointyhat-exp git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@9763 df743ca5-7f9a-e211-a948-0013205c9059
Diffstat (limited to 'math')
-rw-r--r--math/proofgeneral/Makefile2
-rw-r--r--math/proofgeneral/files/patch-Makefile14
2 files changed, 8 insertions, 8 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile
index cdc525886..7edca40e8 100644
--- a/math/proofgeneral/Makefile
+++ b/math/proofgeneral/Makefile
@@ -7,7 +7,7 @@
PORTNAME= proofgeneral
PORTVERSION= 3.6
-PORTREVISION= 4
+PORTREVISION= 6
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME= ProofGeneral-3.6pre061107
diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile
index 2de740aac..94175219e 100644
--- a/math/proofgeneral/files/patch-Makefile
+++ b/math/proofgeneral/files/patch-Makefile
@@ -77,18 +77,18 @@
+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \
+ fi
+
-+ if [ -d ${DESKTOP}/gnome ]; then \
-+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/gnome/pixmaps; \
-+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/gnome/applications; \
-+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/gnome/mime-info; \
-+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/gnome/mime-info; \
++ if [ -d ${DESKTOP} ]; then \
++ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps; \
++ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications; \
++ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info; \
++ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info; \
+ fi
+
# backwards compatibility with old linuxes
- 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
++ mkdir -p ${DESKTOP}/application-registry
++ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
# NB: .el files are not strictly necessary, but we package/install them
# for the time being to help with debugging, or for users to recompile.