1 files changed, 12 insertions, 3 deletions
diff --git a/INSTALL b/INSTALL
index 9e049127..4263790e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -74,7 +74,6 @@ Use 'make compile' to recompile .elc files.
 Check that the Makefile sets EMACS to your Emacs executable.
 
 
-
 Dependency on Other Emacs Packages
 ----------------------------------
 
@@ -84,14 +83,24 @@ will need to find them.  These are the packages that you need to use
 Proof General:
 
  ESSENTIAL:
-  * cl-macs
-  * comint	
+  * cl
   * custom
   * font-lock
 
  OPTIONAL:
   * outline
   * imenu
+  * speedbar
+
+
+Included scripts
+----------------
+
+There are some included scripts which have hardwired paths.
+To try to edit these automatically to point to the right
+place, run
+
+	make scripts
 
 
 Site-wide Installation