From 9e77c4e4b89719bf1bdd8b6948ee06acc5bdaeb9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 8 Jun 2002 02:13:22 +0000
Subject: Default to /usr/bin/perl

---
 coq/coqtags | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq/coqtags')

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
 #
-- 
cgit v1.2.3