From 72d9fc3b1e6633edf59b7357d221b8df5c6e0a2e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jul 2000 12:47:50 +0000
Subject: Make proof-splash-message autoload.

---
 generic/proof-splash.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 3a3cc961..9e4c9754 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -141,6 +141,7 @@ Borrowed from startup-center-spaces."
       (proof-splash-timeout-waiter))
     (setq proof-splash-seen t)))
 
+;;;###autoload
 (defun proof-splash-message ()
   "Make sure the user gets welcomed one way or another."
   (unless proof-splash-seen
-- 
cgit v1.2.3