* doc/misc/cl.texi (Blocks and Exits): Mention cl-tagbody.

* etc/NEWS: Related edit.

2 files changed, 17 insertions, 0 deletions

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index f0ad9e709ab..c64e5e695dc 100644
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2014-02-03  Glenn Morris  <rgm@gnu.org>
+
+        * cl.texi (Blocks and Exits): Mention cl-tagbody.
+
 2014-02-02  Glenn Morris  <rgm@gnu.org>
 
         * efaq-w32.texi (Tramp ssh): Remove deleted tramp methods.
diff --git a/doc/misc/cl.texi b/doc/misc/cl.texi
index 0490cf639ac..2e3dd7434e0 100644
--- a/doc/misc/cl.texi
+++ b/doc/misc/cl.texi
@@ -1556,6 +1556,19 @@ Common Lisp loops like @code{cl-do} and @code{cl-dolist} implicitly enclose
 themselves in @code{nil} blocks.
 @end defmac
 
+@c FIXME?  Maybe this should be in a separate section?
+@defmac cl-tagbody &rest labels-or-statements
+This macro executes statements while allowing for control transfer to
+user-defined labels.  Each element of @var{labels-or-statements} can
+be either a label (an integer or a symbol), or a cons-cell
+(a statement).  This distinction is made before macroexpansion.
+Statements are executed in sequence, discarding any return value.
+Any statement can transfer control at any time to the statements that follow
+one of the labels with the special form @code{(go LABEL)}.
+Labels have lexical scope and dynamic extent.
+@end defmac
+
+
 @node Iteration
 @section Iteration