diff options
Diffstat (limited to 'app-emacs/proofgeneral/files')
-rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch | 14 | ||||
-rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch | 11 |
2 files changed, 25 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch b/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch new file mode 100644 index 000000000000..56937b8394c2 --- /dev/null +++ b/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch @@ -0,0 +1,14 @@ +--- PG-4.4-orig/etc/desktop/proofgeneral.desktop ++++ PG-4.4/etc/desktop/proofgeneral.desktop +@@ -4,9 +4,9 @@ + Name=Proof General + GenericName=Theorem proving environment + Comment=Organise your proofs! +-Icon=proofgeneral.png ++Icon=proofgeneral + TryExec=proofgeneral + Exec=proofgeneral %F + Terminal=false +-Categories=Application;IDE;Development;TextEditor;Math ++Categories=IDE;Development;TextEditor;Math + StartupWMClass=Emacs diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch b/app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch new file mode 100644 index 000000000000..555837deda0d --- /dev/null +++ b/app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch @@ -0,0 +1,11 @@ +--- PG-4.4-orig/generic/proof-site.el ++++ PG-4.4/generic/proof-site.el +@@ -127,7 +127,7 @@ + :group 'proof-general-internals) + + (defcustom proof-images-directory +- (concat proof-home-directory "images/") ++ "@SITEETC@/images/" + "Where Proof General image files are installed. Ends with slash." + :type 'directory + :group 'proof-general-internals) |