From d1a8680dede2340ae53b558fa4ae5cfc1c4500ba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 3 Sep 2001 10:40:31 +0000
Subject: Add specific install instrs, rearrange.

---
 lego/README | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'lego')

diff --git a/lego/README b/lego/README
index 2ddd6fd1..0ecc9910 100644
--- a/lego/README
+++ b/lego/README
@@ -3,8 +3,6 @@ LEGO Proof General
 Written by Thomas Kleymann and  Dilip Sequeira.
 Later maintainance by David Aspinall and Paul Callaghan.
 
-$Id$
-
 Status:		supported
 Maintainer:	Paul Callaghan / David Aspinall
 LEGO version:	1.3.1
@@ -19,3 +17,16 @@ There is support for X Symbol, but not using a proper token language.
 
 There is a tags program, legotags.
 
+========================================
+
+Installation notes:
+
+Install legotags in a standard place or add <proofgeneral-home>/lego 
+to your PATH.
+NB: You may need to change the path to perl at the top of the file.
+
+
+========================================
+
+$Id$
+
-- 
cgit v1.2.3