From 4cd108084f7c326bcdf27f8384c1b008f67f0bbc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 15:49:39 +0000
Subject: Added compatibility hack for customize-menu-create.

---
 generic/proof.el | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/generic/proof.el b/generic/proof.el
index f56f577e..047cf614 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -2671,9 +2671,16 @@ finish setup which depends on specific proof assistant configuration."
 		    (cons proof-mode-name
 			  (append
 			   (cdr proof-menu)
-			   (list (customize-menu-create 'proof)
-				 (customize-menu-create 'proof-internal
-				  "Internals")))))
+			   ;; begin UGLY COMPATIBILTY HACK
+			   ;; older/non-existent customize doesn't have 
+			   ;; this function.  
+			   (if (fboundp 'customize-menu-create)
+			       (list (customize-menu-create 'proof)
+				     (customize-menu-create 'proof-internal
+							    "Internals"))
+			     nil)
+			   ;; end UGLY COMPATIBILTY HACK
+			   )))
   (easy-menu-add proof-mode-menu proof-mode-map)
 
   ;; For fontlock
-- 
cgit v1.2.3