From 47bbb5d108309bdde3f8a0398f3869f2f805f87f Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 1 Mar 2012 15:49:43 +0000
Subject: fix compilation with emacs23-nox of Debian

---
 generic/proof-toolbar.el | 3 ++-
 lib/pg-fontsets.el       | 3 +++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 2b23053c..a0ea1921 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -23,7 +23,8 @@
 (eval-and-compile
   (require 'span)
   (require 'proof-utils)
-  (require 'proof-config))
+  (require 'proof-config)
+  (require 'tool-bar))			; needed for some emacsen without X
 
 
 ;;
diff --git a/lib/pg-fontsets.el b/lib/pg-fontsets.el
index 9ad53b2b..2c0528cc 100644
--- a/lib/pg-fontsets.el
+++ b/lib/pg-fontsets.el
@@ -21,6 +21,9 @@
 
 ;;; Code:
 
+(eval-and-compile
+  (require 'fontset))			; needed for some emacsen without X
+
 (defcustom pg-fontsets-default-fontset nil
   "*Name of default fontset to use with Proof General."
   :type 'string
-- 
cgit v1.2.3