From c51e2febfd8d024a1bf8d16a0b19c63e612cd5c8 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Fri, 23 Oct 1998 11:48:48 +0000
Subject: no futher instructions in share-site-startup needed

---
 etc/lego/lego-site.el | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el
index c503a9d6..55098331 100644
--- a/etc/lego/lego-site.el
+++ b/etc/lego/lego-site.el
@@ -4,15 +4,18 @@
 ;;; Maintainer: lego@dcs.ed.ac.uk
 
 (let ((version (getenv "PROOFGENERAL")))
-  (cond ((string= version "")		;default
+  (cond ((not version)		;default
 	 (setq load-path
 	       (cons "/usr/local/share/elisp/script-management" load-path))
 	 (setq load-path
 	       (cons "/usr/local/share/elisp/script-management/lego" load-path))
-	 (load "lego"))
+	 (setq auto-mode-alist (cons '("\\.l$" . lego-mode) auto-mode-alist))
+	 (autoload 'lego-mode "lego" "Major mode for editing Lego proof scripts." t))
 	((string= version "ancient") 
 	 (setq load-path (cons "/usr/local/share/elisp/lego" load-path))
-	 (load "lego"))
+	 (setq auto-mode-alist (cons '("\\.l$" . lego-mode) auto-mode-alist))
+	 (autoload 'lego-mode "lego" "Major mode for editing Lego proof scripts." t)
+	 (autoload 'lego-shell "lego" "Inferior shell invoking lego." t))
 	((string= version "latest")
 	 (load-file "/usr/local/share/elisp/ProofGeneral/generic/proof-site.el"))))
 	 
-- 
cgit v1.2.3