From a89ec35e4d846480a5e2c35748bb9fb7577aa5bb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 18:23:29 +0000
Subject: Updated magic.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 8b83116b..c246221a 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1066,7 +1066,7 @@ the text is also deleted from the proof script.
 @end deffn
 
 @c TEXI DOCSTRING MAGIC: proof-retract-until-point-interactive
-@deffn Command proof-retract-until-point-interactive delete-region
+@deffn Command proof-retract-until-point-interactive &optional delete-region
 Tell the proof process to retract until point.
 If invoked outside a locked region, undo the last successfully processed
 command.  If called with a prefix argument (@var{delete-region} non-nil), also
-- 
cgit v1.2.3