doc/{misc,parsing}.tex: Write <form> rather than <body-form>.

diff --git a/doc/misc.tex b/doc/misc.tex
index 5bf3e18f0fd21747dd7156c1665f9a29ee554955..16337a9f6c76cf77c1b38f8dc8d5a8abdd42f196 100644 (file)
--- a/doc/misc.tex
+++ b/doc/misc.tex
@@ -143,7 +143,7 @@ These symbols are defined in the @|sod-utilities| package.
                                                                 \\ \ind\ind
         (@{ (@<cat-var> @<cat-predicate>) @}^*)               \-\\
       @<declaration>^*                                          \\
-      @<body-form>^*
+      @<form>^*
      \-\nlret @<value>^*}
 \end{describe}
 

diff --git a/doc/parsing.tex b/doc/parsing.tex
index adcc9e1a722fce65eefa3e88f65b1e8898a538cf..3170cf47ec0b9986cffcd53654c9de8f523d5d5f 100644 (file)
--- a/doc/parsing.tex
+++ b/doc/parsing.tex
@@ -219,10 +219,10 @@ the scanner and read that data again.  Therefore it's possible to
 \begin{describe}{mac}
     {with-scanner-place (@<place> @<scanner>) @<declarations>^* @<form>^*
       @> @<value>^*}
-  Capture the @<scanner>'s current position as a place, evaluate the
-  @<body-form>s as an implicit progn with the variable @<place> bound to the captured
-  place.  When control leaves the @<body-form>s, the place is released.  The return
-  values are the values of the final @<body-form>.
+  Capture the @<scanner>'s current position as a place, evaluate the @<form>s
+  as an implicit progn with the variable @<place> bound to the captured
+  place.  When control leaves the @<form>s, the place is released.  The
+  return values are the values of the final @<form>.
 \end{describe}
 
 \subsection{Scanner file-location protocol} \label{sec:parsing.scanner.floc}
@@ -539,7 +539,7 @@ file-location protocols.
 \begin{describe}{parseform}
     {seq (@{ @<atomic-parser-spec> @!
              (@[@<var>@] @<parser>) @}^*)                       \\ \ind
-      @<body-form>^*}
+      @<form>^*}
 \end{describe}
 
 \begin{describe}{parseform}{and @<parser>^*}