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 --- lib/pg-fontsets.el | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib') 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