(Fcatch): Doc fix.

diff --git a/src/eval.c b/src/eval.c
index 1f4f852bdcd587cd682ea36b6098734b5f0ed87b..64913895b44b29df77c815ec36fe3a10f9130725 100644 (file)
--- a/src/eval.c
+++ b/src/eval.c
@@ -884,7 +884,9 @@ definitions to shadow the loaded ones for use in file byte-compilation.")
 \f
 DEFUN ("catch", Fcatch, Scatch, 1, UNEVALLED, 0,
   "(catch TAG BODY...): eval BODY allowing nonlocal exits using `throw'.\n\
-TAG is evalled to get the tag to use.  Then the BODY is executed.\n\
+TAG is evalled to get the tag to use; it must not be nil.\n\
+\n\
+Then the BODY is executed.\n\
 Within BODY, (throw TAG) with same tag exits BODY and exits this `catch'.\n\
 If no throw happens, `catch' returns the value of the last BODY form.\n\
 If a throw happens, it specifies the value to return from `catch'.")