From 23792ca17ac646eadf08c7be62ccda7767002449 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 15:37:13 +0000
Subject: More hacks to variable names for customize (sorry)

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

(limited to 'etc/ProofGeneral.patch')

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
index 0e7043d9..b0be5c97 100644
--- a/etc/ProofGeneral.patch
+++ b/etc/ProofGeneral.patch
@@ -19,15 +19,15 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.
 *** 76,82 ****
     :group 'proof-internal)
   
-  (defcustom proof-internal-info-directory
-!   (concat proof-internal-home-directory "doc/")
+  (defcustom proof-info-directory
+!   (concat proof-home-directory "doc/")
     "*Where Proof General Info files are installed."
     :type 'directory
     :group 'proof-internal)
 --- 76,82 ----
     :group 'proof-internal)
   
-  (defcustom proof-internal-info-directory
+  (defcustom proof-info-directory
 !   "/usr/info/"
     "*Where Proof General Info files are installed."
     :type 'directory
-- 
cgit v1.2.3