diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
| commit | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch) | |
| tree | 356496503d52354aa6d9f2d36126302fed5f3a73 /app-emacs/proofgeneral/files | |
| parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) | |
gentoo resync : 20.03.2022
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch b/app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch new file mode 100644 index 000000000000..f6213dfdc865 --- /dev/null +++ b/app-emacs/proofgeneral/files/proofgeneral-4.5-paths.patch @@ -0,0 +1,19 @@ +index 85819882..f69d5f6d 100644 +--- a/generic/proof-site.el ++++ b/generic/proof-site.el +@@ -118,13 +118,13 @@ Falls back to consulting the environment variable `PROOFGENERAL_HOME' if + proof-site.el couldn't know where it was executed from.") + + (defcustom proof-images-directory +- (expand-file-name "images/" proof-home-directory) ++ (expand-file-name "@SITEETC@/images/") + "Where Proof General image files are installed. Ends with slash." + :type 'directory + :group 'proof-general-internals) + + (defcustom proof-info-directory +- (expand-file-name "doc/" proof-home-directory) ++ (expand-file-name "@EPREFIX@/usr/share/info/") + "Where Proof General Info files are installed. Ends with slash." + :type 'directory + :group 'proof-general-internals) |