From 54f13a7f664c91f1db28a35918721213c6dea7e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Feb 2003 12:15:42 +0000
Subject: Set x-symbol-data-directory

---
 generic/proof-x-symbol.el | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3