From 1c6b097797d1294f4902dd5b30f02e24cbc1e1de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Mar 2004 12:54:07 +0000
Subject: Updated.

---
 bin/proofgeneral | 2 --
 1 file changed, 2 deletions(-)

(limited to 'bin/proofgeneral')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 7ced2770..0bdcb526 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -87,6 +87,4 @@ if [ ! -x "$EMACS" ]; then
     exit 1
 fi
     
-echo $EMACS -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))" -f proof-splash-display-screen "$@"
-	
 exec $EMACS -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))" -f proof-splash-display-screen "$@"
-- 
cgit v1.2.3