gentoo resync : 06.08.2019

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)