From b7209db785ccd5e68ecc144f628cf7593a215ede Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:11:59 +0000
Subject: Updating branch

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

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index dec54b8b..92b029f1 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -10,8 +10,8 @@
 # $Id$
 #
 
-PGHOME=/usr/share/emacs/ProofGeneral
-#PGHOME=~/ProofGeneral
+#PGHOME=/usr/share/emacs/ProofGeneral
+PGHOME=~/ProofGeneral
 
 if which xemacs > /dev/null; then 
     EMACS=xemacs
@@ -19,4 +19,4 @@ else
     EMACS=emacs
 fi
 
-$EMACS -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
+$EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
-- 
cgit v1.2.3