diff options
| author | David Aspinall | 2008-07-24 07:33:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-24 07:33:46 +0000 |
| commit | 8565234ef3339ac09d755cb8178b113f8cdc96a5 (patch) | |
| tree | 3d7759c3c8a68e9828aae56173eaa12925e624bd | |
| parent | 556c217aff1e13e26fce335a9d1964d3f58febec (diff) | |
Load proof-autoloads earlier
| -rw-r--r-- | generic/proof-site.el | 3 |
1 files changed, 2 insertions, 1 deletions
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. |