From 9642c8018a33a1e45810daecf23c62a462a53b7a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 11:59:45 +0000
Subject: Observe EMACS environment variable

---
 bin/proofgeneral | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 8276f9bf..0e232cff 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -13,10 +13,12 @@
 PGHOME=/usr/share/emacs/ProofGeneral
 #PGHOME=~/ProofGeneral
 
-if which xemacs > /dev/null; then 
-    EMACS=xemacs
-else 
-    EMACS=emacs
+if [ -z "EMACS" ]; then
+    if which xemacs > /dev/null; then 
+	EMACS=xemacs
+    else 
+	EMACS=emacs
+    fi
 fi
 
 $EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
-- 
cgit v1.2.3