From 18033a37028e9a93c39143eafef79171805e569c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 17:13:28 +0000
Subject: Updated magic

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 07f5d815..52d69de2 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1638,6 +1638,7 @@ The default value is @code{nil}.
 @defopt proof-prog-name-guess 
 If non-nil, use @samp{@code{proof-guess-command-line}} to guess @code{proof-prog-name}.@*
 This option is compatible with @code{proof-prog-name-ask}.
+No effect if @code{proof-guess-command-line} is nil.
 
 The default value is @code{nil}.
 @end defopt
@@ -1661,7 +1662,8 @@ The default value is @code{""}.
 
 @c TEXI DOCSTRING MAGIC: proof-toolbar-inhibit
 @defopt proof-toolbar-inhibit 
-Non-nil prevents toolbar being used for script buffers.
+Non-nil prevents toolbar being used for script buffers.@*
+NB: the toolbar is only available with XEmacs.
 
 The default value is @code{nil}.
 @end defopt
-- 
cgit v1.2.3