commit 4faa862c24425e286cfd65ecada76d9e8f701551
parent f95320c7287e043c37fdc23b8643da2523d4226c
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date: Tue, 6 Feb 2024 02:31:54 -0500
Remove "(formal)" disambiguation from section headers.
We only need this in node names.
Diffstat:
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/doc/r7rs-small/derived-expressions-implementation.texinfo b/doc/r7rs-small/derived-expressions-implementation.texinfo
@@ -1,5 +1,5 @@
@node Derived expression types formal
-@section Derived expression types (formal)
+@section Derived expression types
This section gives syntax definitions for the derived expression types in terms of the
primitive expression types (literal, variable, call, lambda, if, and set!), except for
diff --git a/doc/r7rs-small/formal-syntax.texinfo b/doc/r7rs-small/formal-syntax.texinfo
@@ -220,7 +220,7 @@ characters used in the grammar of numbers can appear in either upper or lower ca
@end format
@node External representations formal
-@subsection External representations (formal)
+@subsection External representations
@svar{Datum} is what the read procedure (section 6.13.2) successfully parses. Note that any
string that parses as an @svar{expression} will also parse as a @svar{datum}.
@@ -238,7 +238,7 @@ string that parses as an @svar{expression} will also parse as a @svar{datum}.
@svar{label} ⟶# @svar{uinteger 10}
@node Expressions formal
-@subsection Expressions (formal)
+@subsection Expressions
The definitions in this and the following subsections assume that all the syntax keywords
defined in this report have been properly imported from their libraries, and that none of
@@ -418,7 +418,7 @@ a list pattern, not a vector pattern or an identifier pattern.
@svar{syntax definition} ⟶ (define-syntax @svar{keyword} @svar{transformer spec})
@node Libraries formal
-@subsection Libraries (formal)
+@subsection Libraries
@display
@svar{library} @expansion{}
