1 files changed, 3 insertions, 1 deletions
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 $/;