From 74a40f851575c4f54e5bfffde8ca8ff9efbc107e Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 9 Sep 2001 16:59:59 +0000
Subject: Coq/lego confusion

---
 lego/README | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lego')

diff --git a/lego/README b/lego/README
index 0ecc9910..273c3e90 100644
--- a/lego/README
+++ b/lego/README
@@ -25,6 +25,11 @@ 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.
 
+Generate a TAGS file for the Lego library by running
+	legotags `find . -name \*.l -print`
+in the root directory of the library.
+
+
 
 ========================================
 
-- 
cgit v1.2.3