From 0f32001385dcba8dccd51e0ad86aaf35d5af07a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Aug 2001 15:22:16 +0000
Subject: Add a dummy version of package-provide for FSFEmacs.

---
 generic/proof-compat.el | 7 +++++++
 1 file changed, 7 insertions(+)

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)
-- 
cgit v1.2.3