From 484cffdfbc4e1385e35d53eda5613ce2e3b3631c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 16:37:43 +0000
Subject: Changed name of proof-shell-cd-cmd for uniformity.

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 32625cd1..a070cd7b 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2831,8 +2831,8 @@ The @code{proof-terminal-char} is added on to the end.
 A command to quit the proof process.  If nil, send EOF instead.@*
 The @code{proof-terminal-char} is added on to the end.
 @end defvar
-@c TEXI DOCSTRING MAGIC: proof-shell-cd
-@defvar proof-shell-cd 
+@c TEXI DOCSTRING MAGIC: proof-shell-cd-cmd
+@defvar proof-shell-cd-cmd 
 Command to the proof assistant to change the working directory.@*
 The format character %s is replaced with the directory, and the
 @code{proof-terminal-char} is added on to the end.
-- 
cgit v1.2.3