From ea73d49b93877edef9512c98380de50215c73d74 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 16:47:52 +0000
Subject: For building nice package on Linux.

---
 etc/ProofGeneral.patch | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 etc/ProofGeneral.patch

(limited to 'etc/ProofGeneral.patch')

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
new file mode 100644
index 00000000..0f7bf186
--- /dev/null
+++ b/etc/ProofGeneral.patch
@@ -0,0 +1,29 @@
+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,4 ****
+! #!/usr/local/bin/perl4
+  #
+  # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $
+  #
+--- 1,4 ----
+! #!/usr/bin/perl
+  #
+  # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $
+  #
+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
+***************
+*** 1,4 ****
+! #!/usr/local/bin/perl
+  #
+  # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $
+  #
+--- 1,4 ----
+! #!/usr/bin/perl
+  #
+  # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $
+  #
+
-- 
cgit v1.2.3