diff options
Diffstat (limited to 'math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop')
| -rw-r--r-- | math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop index 668ccc6ab733..aefef292bf1c 100644 --- a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop +++ b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop @@ -1,11 +1,11 @@ ---- etc/desktop/proofgeneral.desktop.orig Sat Aug 13 14:19:29 2005 -+++ etc/desktop/proofgeneral.desktop Sat Aug 13 14:19:46 2005 -@@ -2,7 +2,7 @@ +--- 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 - Comment=Organise Your Proofs! - Exec=proofgeneral %F + GenericName=Theorem proving environment + Comment=Organise your proofs! -Icon=proofgeneral.png +Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png - Terminal=false - Type=Application - Encoding=UTF-8 + FilePattern=proofgeneral + TryExec=proofgeneral + Exec=proofgeneral %F |