From c8fadf72b17715f8bbcfb2b389b73406c0130587 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 29 Sep 2000 14:15:32 +0000
Subject: Make default path to perl be /usr/bin/perl

---
 coq/coqtags   | 4 +++-
 lego/legotags | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/coq/coqtags b/coq/coqtags
index 1088c24a..6d874e9d 100644
--- a/coq/coqtags
+++ b/coq/coqtags
@@ -1,6 +1,8 @@
 #!/usr/bin/perl
 #
-# $Id$
+# Or perhaps: /usr/local/bin/perl
+#
+# # $Id$
 #
 undef $/;
 
diff --git a/lego/legotags b/lego/legotags
index d32547ae..c7f30d4d 100644
--- a/lego/legotags
+++ b/lego/legotags
@@ -1,5 +1,7 @@
 #!/usr/bin/perl
 #
+# Or perhaps: /usr/local/bin/perl
+# 
 # $Id$
 #
 undef $/;
-- 
cgit v1.2.3