From 608f6ec2745f54ebbee3d7dd408c51b507f1d4e5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Sep 2009 08:32:37 +0000
Subject: Describe make scripts

---
 INSTALL | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

(limited to 'INSTALL')

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
-- 
cgit v1.2.3