diff options
author | 1998-10-29 15:37:13 +0000 | |
---|---|---|
committer | 1998-10-29 15:37:13 +0000 | |
commit | 23792ca17ac646eadf08c7be62ccda7767002449 (patch) | |
tree | 67f890878a7adefefe15180d2a98d9b1a77c0dc2 /etc | |
parent | 677e94838915dd4cacd3ad70c5da90b3730eddbc (diff) |
More hacks to variable names for customize (sorry)
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.patch | 6 |
1 files changed, 3 insertions, 3 deletions
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 |