From d40e94ad261c3a992a3bd74b18a665aca28abec8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 4 Sep 2002 17:02:36 +0000
Subject: don't use -q argument to emacs

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

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 3607ed45..587ed516 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -21,4 +21,4 @@ if [ -z "$EMACS" ]; then
     fi
 fi
 
-$EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
+$EMACS -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
-- 
cgit v1.2.3