diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 22:27:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 22:27:05 +0000 |
commit | 82769b9f31be3130f19e8cebd314d2fae5e31587 (patch) | |
tree | 541443bb67927aad836efccc98b4726c6e091dea /generic/proof.el | |
parent | 7099e2d874e58c6a68685e1d328426cccc346b8e (diff) |
Only show splash message if noninteractive
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |