From 0df9e73ede3cac9995538d6144629edc3a2cd40f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 24 Sep 1998 17:06:16 +0000
Subject: Added note about changing perl path in {coq,lego}tags.

---
 INSTALL | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index bdf80602..a2ab1866 100644
--- a/INSTALL
+++ b/INSTALL
@@ -52,6 +52,7 @@ Check the values of coq-tags and coq-prog-name in coq.el to see that
 they correspond to the paths for coqtop and the library on your system.
 
 Install coqtags in a standard place or add <proof-home>/coq to your PATH.
+NB: You may need to change the path to perl at the top of the file.
 
 If you are running Coq, generate a TAGS file for the library by running
 	coqtags `find . -name \*.v -print`
@@ -66,6 +67,7 @@ Customization for LEGO
 
 Install legotags in a standard place or add <proof-home>/lego 
 to your PATH.
+NB: You may need to change the path to perl at the top of the file.
 
 
 ----------------------------------------------------------------------
-- 
cgit v1.2.3