diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-compat.el | 11 |
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) |