From 8565234ef3339ac09d755cb8178b113f8cdc96a5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jul 2008 07:33:46 +0000
Subject: Load proof-autoloads earlier

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

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 036e79ff..6c441b63 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -125,8 +125,9 @@ You can use customize to set this variable."
 (add-to-list 'load-path (concat proof-home-directory "generic/"))
 (add-to-list 'load-path (concat proof-home-directory "lib/"))
 
-;; Declare some global variables
+;; Declare some global variables and autoloads
 (require 'pg-vars)
+(require 'proof-autoloads)
 
 ;; Add the info directory to the Info path
 (if ;; NB: proof-info-directory is bogus in RPM distrib.
-- 
cgit v1.2.3