From 0a6a22da365a5526b9caee94b465fdf70496ecd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Aug 2002 09:08:33 +0000
Subject: Autoload fix

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

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 0a228b2f..dde429e1 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -27,6 +27,13 @@
     (autoload 'browse-url "browse-url"
       "Ask a WWW browser to load URL." t))
 
+;; executable-find isn't autoloaded in XEmacs 21.4.6
+(or (fboundp 'executable-find)
+    (autoload 'executable-find "executable" "\
+Search for COMMAND in exec-path and return the absolute file name.
+Return nil if COMMAND is not found anywhere in `exec-path'." nil nil))
+
+
 ;; Compatibility with XEmacs 20.3/4
 (or (boundp 'path-separator)
     (setq path-separator (if proof-running-on-win32 ";" ":")))
-- 
cgit v1.2.3