From 665fcf2a7667f428ca0be6fc31ba14117ab11c68 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Apr 2004 12:22:20 +0000
Subject: Add FAQ about .elcs failing in GNU Emacs.

---
 FAQ | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index f0aae0a7..406457d4 100644
--- a/FAQ
+++ b/FAQ
@@ -6,6 +6,22 @@ With thanks to the anonymous authors of questions/answers below.
 For latest version, see http://proofgeneral.inf.ed.ac.uk/FAQ
 Please also check the BUGS file.
 
+-----------------------------------------------------------------
+
+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"
+
+A. We distribute .elcs for XEmacs, so you will have to delete
+   them and (optionally) recompile for GNU Emacs.  Using the Makefile:
+
+     Use 'make clean' to remove all .elc files.  
+     Use 'make compile' to recompile .elc files.
+ 
+   Check that the Makefile sets EMACS to your Emacs executable.
+   
+
 -----------------------------------------------------------------
 
 Q. Emacs appears to hang when the prover process is started.
-- 
cgit v1.2.3