aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 ";" ":")))