math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop


1
2
3
4
5
6
7
8
9
10
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