diff options
-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 |