diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:54:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:54:37 +0000 |
commit | 32c317ac9bf24207ee55a854ea4739bebbafc08e (patch) | |
tree | a0c5d0eacd5b45f7252b206bf513cbb3e13d5296 /generic/proof-site.el | |
parent | defb651dd80bc4d15b6b2ab11cb1c644434965e3 (diff) |
Fix compile warnings
Diffstat (limited to 'generic/proof-site.el')
-rw-r--r-- | generic/proof-site.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 2bbb01f8..2270eb4e 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -128,6 +128,9 @@ You can use customize to set this variable." (require 'pg-vars) (require 'proof-autoloads) +(eval-when-compile + (defvar Info-dir-contents nil)) + ;; Add the info directory to the Info path (if (file-exists-p proof-info-directory) ; for safety (if (and (boundp 'Info-directory-list) Info-directory-list) |