aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall2002-06-08 02:13:22 +0000
committerDavid Aspinall2002-06-08 02:13:22 +0000
commit9e77c4e4b89719bf1bdd8b6948ee06acc5bdaeb9 (patch)
tree54a17868a5b4630b17ddf157c4be2940f25da900
parentea070c9f9c5c9cb99068d2195284a0ff01dc6ee8 (diff)
Default to /usr/bin/perl
-rw-r--r--coq/coqtags2
-rw-r--r--lego/legotags4
2 files changed, 3 insertions, 3 deletions
diff --git a/coq/coqtags b/coq/coqtags
index 6731cc62..6d874e9d 100644
--- a/coq/coqtags
+++ b/coq/coqtags
@@ -1,4 +1,4 @@
-#!/usr/local/bin/perl
+#!/usr/bin/perl
#
# Or perhaps: /usr/local/bin/perl
#
diff --git a/lego/legotags b/lego/legotags
index 631fa644..8243287a 100644
--- a/lego/legotags
+++ b/lego/legotags
@@ -1,7 +1,7 @@
-#!/usr/local/bin/perl
+#!/usr/bin/perl
#
# Or perhaps: /usr/local/bin/perl
-#
+#
# $Id$
#
undef $/;