aboutsummaryrefslogtreecommitdiffhomepage
path: root/FAQ
diff options
context:
space:
mode:
Diffstat (limited to 'FAQ')
-rw-r--r--FAQ4
1 files changed, 2 insertions, 2 deletions
diff --git a/FAQ b/FAQ
index 0b97a8a9..34962cef 100644
--- a/FAQ
+++ b/FAQ
@@ -73,8 +73,8 @@ Q. Proof General fails to load with an error message on start-up:
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:
+A. We distribute .elcs for GNU Emacs, so you will have to delete
+ them and (optionally) recompile for XEmacs. Using the Makefile:
Use 'make clean' to remove all .elc files.
Use 'make compile' to recompile .elc files.