Updates

2 files changed, 7 insertions, 2 deletions

diff --git a/INSTALL b/INSTALL
index 4263790e..92ba16ca 100644
--- a/INSTALL
+++ b/INSTALL
@@ -71,7 +71,8 @@ them and (optionally) recompile for GNU Emacs 22.
 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.
+Check that the Makefile sets EMACS to your Emacs executable, or
+run 'make <target> EMACS=/path/to/your/emacs'
 
 
 Dependency on Other Emacs Packages
diff --git a/README b/README
index c0a8f06a..5b0c1638 100644
--- a/README
+++ b/README
@@ -4,7 +4,11 @@ Proof General is a generic Emacs interface for proof assistants.
 The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
-This is version 4.0 of Proof General.  See About screen for exact version.
+This is version 4.0 of Proof General.  See About for exact version.
+
+It is built for Emacs 23.  The code will also work with Emacs 22.3,
+but you will need to regenerated the byte-compiled files 
+with "make clean; make compile".
 
 See
     INSTALL	     for installation details.