From 739e6fafabda2e8715257b39ac1c5a1b26cd0dcc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 13:29:27 +0000
Subject: Fix typo

---
 bin/proofgeneral | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 0e232cff..3607ed45 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -13,7 +13,7 @@
 PGHOME=/usr/share/emacs/ProofGeneral
 #PGHOME=~/ProofGeneral
 
-if [ -z "EMACS" ]; then
+if [ -z "$EMACS" ]; then
     if which xemacs > /dev/null; then 
 	EMACS=xemacs
     else 
-- 
cgit v1.2.3