From 82769b9f31be3130f19e8cebd314d2fae5e31587 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 22:27:05 +0000
Subject: Only show splash message if noninteractive

---
 generic/proof.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof.el b/generic/proof.el
index 804ba0f2..a00c6d8a 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -27,7 +27,8 @@
 (require 'proof-utils)			; utilities
 (require 'proof-config)			; configuration variables
 
-(proof-splash-message)			; welcome the user now.
+(unless noninteractive
+  (proof-splash-message))		; welcome the user now.
 
 (require 'proof-auxmodes)		; Further autoloads
 
-- 
cgit v1.2.3