Add a dummy version of package-provide for FSFEmacs.

1 files changed, 7 insertions, 0 deletions

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index f4c0ac5e..6bb3b6d6 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -45,6 +45,13 @@ with `path-separator'."
 ;;; FSF compatibility
 ;;;
 
+;; 1.8.01: add a dummy package-provide command so proof-autoloads
+;; is compatible with FSF Emacs.
+(or (fboundp 'package-provide)
+    (defun package-provide (name &rest attributes)
+      "Dummy version of XEmacs function for FSF compatibility."))
+
+
 ;; completion not autoloaded in FSF 20.6.1; we must call 
 ;; dynamic-completion-mode after loading it.
 (or (fboundp 'complete)