diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-24 12:15:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-24 12:15:42 +0000 |
| commit | 54f13a7f664c91f1db28a35918721213c6dea7e3 (patch) | |
| tree | 91fdc17809a719ac529abb552949dc55ca8bcd9c /generic | |
| parent | fb6a4c9549b270393e97fb78dda19ab50b3bb7fe (diff) | |
Set x-symbol-data-directory
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-x-symbol.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 0d18ff36..273d44bf 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -58,6 +58,9 @@ (cons (concat proof-home-directory "x-symbol/lisp/") load-path)) + ;; avoid warning about installing in proper place + (setq x-symbol-data-directory + (concat proof-home-directory "x-symbol/etc/")) ;; *should* always succeed unless bundled version broken (proof-try-require 'x-symbol-hooks)))) ;; See if there is prover-specific config in x-symbol-<foo>.el |