mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-22 06:57:59 +02:00
592a0cb6ce
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
19 lines
762 B
Diff
19 lines
762 B
Diff
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)
|