Fake customize menu create for latest Emacs release -- workaround new bug there

1 files changed, 7 insertions, 4 deletions

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 7a5fb8f4..f3c5753b 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -381,10 +381,13 @@ The modified ALIST is returned."
 
 ;; Create a menu from a customize group, for older/non-existent customize
 
-(or (fboundp 'customize-menu-create)
-(defun customize-menu-create (&rest args)
-  "Dummy function for PG; please upgrade your Emacs."
-  nil))
+(if (or
+     (and (equal emacs-major-version 21) ; or for buggy Emacs 21.2.1
+	  (member emacs-minor-version '(2 0)))
+     (not (fboundp 'customize-menu-create)))
+    (defun customize-menu-create (&rest args)
+      "Dummy function for PG; please upgrade your Emacs."
+      nil))
 
 (or (fboundp 'process-live-p)
 (defun process-live-p (obj)