From 10b0a51efcf9b6fcfd52ca93f06e708600930ce5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 15 Jul 2012 08:58:14 +0000
Subject: Patch to allow byte compilation without X, reported on Gentoo via
 Ulrich Mueller

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

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)))
-- 
cgit v1.2.3