From 8db7c16234e104960a3d5f09bdf6e8f0572484ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Oct 1998 17:27:06 +0000
Subject: Fixed for new header in coqtags.

---
 etc/ProofGeneral.patch | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
index 4d29f28e..1b063845 100644
--- a/etc/ProofGeneral.patch
+++ b/etc/ProofGeneral.patch
@@ -2,12 +2,10 @@ diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags
 *** ProofGeneral-2.0/coq/coqtags	Thu Sep 24 16:36:20 1998
 --- ProofGeneral-2.0.new/coq/coqtags	Thu Sep 24 17:04:00 1998
 ***************
-*** 1,2 ****
+*** 1,1 ****
 ! #!/usr/local/bin/perl
-  #
---- 1,2 ----
+--- 1,1 ----
 ! #!/usr/bin/perl
-  #
 diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags
 *** ProofGeneral-2.0/lego/legotags	Thu Sep 24 16:36:30 1998
 --- ProofGeneral-2.0.new/lego/legotags	Thu Sep 24 17:04:10 1998
@@ -36,4 +34,4 @@ diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags
 !   "/usr/info/"
     "*Where Proof General Info files are installed."
     :type 'directory
-    :group 'proof-general)
\ No newline at end of file
+    :group 'proof-general)
-- 
cgit v1.2.3