diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-07-15 08:58:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-07-15 08:58:14 +0000 |
commit | 10b0a51efcf9b6fcfd52ca93f06e708600930ce5 (patch) | |
tree | 1ca17813abd6eda07ea68165a3bfc71f7af6197d /generic | |
parent | 3b69e2906334b49614533494825a5d0409ae1be1 (diff) |
Patch to allow byte compilation without X, reported on Gentoo via Ulrich Mueller
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index a0ea1921..af9e8694 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -104,7 +104,8 @@ back the default toolbar." (when (proof-toolbar-available-p) (unless proof-toolbar-map (setq proof-toolbar-map (make-sparse-keymap)) - (add-to-list 'image-load-path proof-images-directory) ; rude? + (if (boundp 'image-load-path) + (add-to-list 'image-load-path proof-images-directory)) ; rude? (mapc 'proof-toolbar-make-icon (proof-ass toolbar-entries)) (proof-toolbar-make-toolbar-items proof-toolbar-map (proof-ass toolbar-entries))) |