From 63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00 Mon Sep 17 00:00:00 2001 From: mezz Date: Sun, 29 Jul 2007 23:03:43 +0000 Subject: share/gnome/ -> share/. git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@9265 df743ca5-7f9a-e211-a948-0013205c9059 --- .../proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop (limited to 'math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop') diff --git a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop new file mode 100644 index 000000000..aefef292b --- /dev/null +++ b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop @@ -0,0 +1,11 @@ +--- etc/desktop/proofgeneral.desktop.orig Thu Dec 8 07:40:38 2005 ++++ etc/desktop/proofgeneral.desktop Thu Dec 8 07:41:03 2005 +@@ -5,7 +5,7 @@ + Name=Proof General + GenericName=Theorem proving environment + Comment=Organise your proofs! +-Icon=proofgeneral.png ++Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png + FilePattern=proofgeneral + TryExec=proofgeneral + Exec=proofgeneral %F -- cgit v1.2.3