aboutsummaryrefslogtreecommitdiff
path: root/generic
diff options
context:
space:
mode:
authorDavid Aspinall2002-08-07 09:08:33 +0000
committerDavid Aspinall2002-08-07 09:08:33 +0000
commit0a6a22da365a5526b9caee94b465fdf70496ecd2 (patch)
treebea025ccfe243afa5a9440a620d8784fb64f6bd4 /generic
parentc79b21367b4c3d2b6eb10ef3b92e093a82785ce2 (diff)
Autoload fix
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-compat.el7
1 files changed, 7 insertions, 0 deletions
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 ";" ":")))