diff options
author | mezz <mezz@df743ca5-7f9a-e211-a948-0013205c9059> | 2007-07-30 07:03:43 +0800 |
---|---|---|
committer | mezz <mezz@df743ca5-7f9a-e211-a948-0013205c9059> | 2007-07-30 07:03:43 +0800 |
commit | 63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00 (patch) | |
tree | 1a7c4cb9c563101fbfdd47f1c0034389f8312d34 /math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | |
parent | 363fae18ed1f97c352e334bf391808247186dcb8 (diff) | |
download | marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.gz marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.bz2 marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.lz marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.xz marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.tar.zst marcuscom-ports-63d2921f4469c3bd329bc5a8fdf9c84ce7ed1d00.zip |
share/gnome/ -> share/.
git-svn-id: svn://creme-brulee.marcuscom.com/ports/trunk@9265 df743ca5-7f9a-e211-a948-0013205c9059
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 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 |