mirror of
https://git.freebsd.org/ports.git
synced 2025-05-19 18:43:13 -04:00
11 lines
378 B
Desktop File
11 lines
378 B
Desktop File
--- 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
|