From 69df6dfab116b91bb5c01b085662ff46880a654d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Jun 1999 17:23:45 +0000
Subject: Patched patch for updated proof-site.el

---
 etc/ProofGeneral.patch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
index 26625b2e..f4db47bb 100644
--- a/etc/ProofGeneral.patch
+++ b/etc/ProofGeneral.patch
@@ -21,7 +21,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.
   
   (defcustom proof-info-directory
 !   (concat proof-home-directory "doc/")
-    "Where Proof General Info files are installed."
+    "Where Proof General Info files are installed. Ends with slash."
     :type 'directory
     :group 'proof-general-internals)
 --- 92,98 ----
@@ -29,7 +29,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.
   
   (defcustom proof-info-directory
 !   "/usr/info/"
-    "Where Proof General Info files are installed."
+    "Where Proof General Info files are installed. Ends with slash."
     :type 'directory
     :group 'proof-general-internals)
 diff -cr ProofGeneral.old/lego/legotags ProofGeneral/lego/legotags
-- 
cgit v1.2.3