diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-09-06 10:28:05 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-09-06 10:28:05 +0100 |
commit | f1af93971b7490792d8541bc790e0d8c6d787059 (patch) | |
tree | a38046712bbc3a3844d77452d16c84e716caa3d4 /app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch | |
parent | fc637fb28da700da71ec2064d65ca5a7a31b9c6c (diff) |
gentoo resync : 06.08.2019
Diffstat (limited to 'app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch')
-rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch | 11 |
1 files changed, 11 insertions, 0 deletions
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) |