diff options
| author | Simon Barner <barner@FreeBSD.org> | 2005-08-31 10:36:36 +0000 |
|---|---|---|
| committer | Simon Barner <barner@FreeBSD.org> | 2005-08-31 10:36:36 +0000 |
| commit | f6925bfda8fa5d2210b99b27e56627b190c0cca9 (patch) | |
| tree | ca3da9d2b0641bd54a5bb5829c60a043ecb64387 /math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | |
| parent | Fix PTHREAD_* misspellings (diff) | |
Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788
Submitted by: Timothy Bourke <timbob@bigpond.com>
Diffstat (limited to 'math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop')
| -rw-r--r-- | math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | 11 |
1 files changed, 11 insertions, 0 deletions
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 000000000000..668ccc6ab733 --- /dev/null +++ b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop @@ -0,0 +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 @@ + Name=Proof General + Comment=Organise Your Proofs! + Exec=proofgeneral %F +-Icon=proofgeneral.png ++Icon=%%PREFIX%%/share/pixmaps/proofgeneral.png + Terminal=false + Type=Application + Encoding=UTF-8 |