diff -urN ProofGeneral-3.3/coq/coqtags ProofGeneral-3.3-new/coq/coqtags

--- ProofGeneral-3.3/coq/coqtags	2001-09-03 16:08:43 +0400

+++ ProofGeneral-3.3-new/coq/coqtags	2002-06-25 14:44:31 +0400

@@ -1,4 +1,4 @@

-#!/usr/local/bin/perl

+#!/usr/bin/perl

 #

 # Or perhaps: /usr/local/bin/perl

 #

diff -urN ProofGeneral-3.3/lego/legotags ProofGeneral-3.3-new/lego/legotags

--- ProofGeneral-3.3/lego/legotags	2001-09-03 16:11:51 +0400

+++ ProofGeneral-3.3-new/lego/legotags	2002-06-25 14:45:08 +0400

@@ -1,4 +1,4 @@

-#!/usr/local/bin/perl

+#!/usr/bin/perl

 #

 # Or perhaps: /usr/local/bin/perl

 #