blob: f6213dfdc86513b065320b7397e639b945d4e9b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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)
|