diff options
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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. |