diff options
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) |