From f40224e3d8403dba9920572a7b782d991370fa90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 May 2001 17:26:16 +0000
Subject: Run the display splash command

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

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 9c3706fb..b479b531 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -19,4 +19,4 @@ else
     EMACS=emacs
 fi
 
-$EMACS -l $PGHOME/generic/proof-site.el "$@"
+$EMACS -l $PGHOME/generic/proof-site.el -f proof-splash-message "$@"
-- 
cgit v1.2.3