From fb3c7ce71de3cd1065e00d04ab385be02fb97be2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 12:42:17 +0000
Subject: Mention %e in doc for proof-shell-cd-cmd.

---
 generic/proof-config.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index aecdf09a..375674fc 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1145,8 +1145,10 @@ need to bump up this value."
   "Command to the proof assistant to change the working directory.
 The format character %s is replaced with the directory, and the
 proof-terminal-char is added on to the end.
+The format character %e is replaced by the directory, after applying
+escapes specified in `proof-shell-string-escapes', which see.
 
-This is used to define the function proof-cd which 
+This setting is used to define the function proof-cd which 
 changes to the value of (default-directory) for script buffers.
 For files, the value of (default-directory) is simply the
 directory the file resides in.
-- 
cgit v1.2.3