FAQ about load file executable error

1 files changed, 13 insertions, 0 deletions

diff --git a/FAQ b/FAQ
index 1f3c8631..fbe759d3 100644
--- a/FAQ
+++ b/FAQ
@@ -13,6 +13,8 @@ Q. Proof General fails to load with an error message on start-up:
      error: "File `.../ProofGeneral/generic/proof-autoloads.elc' was 
      not compiled in Emacs"
 
+   What's wrong?
+
 A. We distribute .elcs for XEmacs, so you will have to delete
    them and (optionally) recompile for GNU Emacs.  Using the Makefile:
 
@@ -25,6 +27,17 @@ A. We distribute .elcs for XEmacs, so you will have to delete
 
 -----------------------------------------------------------------
 
+Q. Proof General fails to load with an error message like this: 
+
+     file mode specification error: (file-error "cannot open load file" "executable")
+
+   What's wrong?
+
+A. You're missing some Emacs (probably XEmacs) packages.  See
+   the section "Dependency on Other Emacs Packages" in INSTALL.
+
+-----------------------------------------------------------------
+
 Q. Where have my buffers gone?   They used to be on the Buffers menu!
 
 A. The PG "associated buffers" which display the proof state and