r7rs-small-texinfo

commit 965f5300eafee35244d37ad29f500057c61ec735
parent 8646b36ed7126724f7d5c246c7d6d543c68c0642
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Tue,  6 Feb 2024 14:02:57 -0500

Fix line breaks and backslashes in custom macros.

Texinfo allows backslashes inside its own macros, but not in
user-defined macros.

This is VERY bad macrology.

Diffstat:
M
doc/r7rs-small/formal-syntax.texinfo
 | 
10
++++------

1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/doc/r7rs-small/formal-syntax.texinfo b/doc/r7rs-small/formal-syntax.texinfo
@@ -78,14 +78,12 @@ containing the corresponding character.
 @svar{vertical line} @expansion{} @code{|}
 @svar{line ending} @expansion{} @svar{newline}
     | @svar{return} @svar{newline} | @svar{return}
-@svar{comment} @expansion{} @code{;} @pseudoprod{all subsequent
-                      characters up to a line ending}
+@svar{comment} @expansion{} @code{;} @pseudoprod{all subsequent characters up to a line ending}
     | @svar{nested comment}
     | @code{#;} @svar{intertoken space} @svar{datum}
 @svar{nested comment} @expansion{} @code{#|} @svar{comment text}
                   @arbno{@svar{comment cont}} @code{|#}
-@svar{comment text} @expansion{} @pseudoprod{character sequence
-                  not containing @code{#|} or @code{|#}}
+@svar{comment text} @expansion{} @pseudoprod{character sequence not containing @code{#|} or @code{|#}}
 @svar{comment cont} @expansion{} @svar{nested comment}
     @svar{comment text}
 @svar{directive} @expansion{} @code{#!fold-case} | @code{#!no-fold-case}
@@ -136,7 +134,7 @@ identifiers.
 @svar{sign subsequent} @expansion{} @svar{initial} | @svar{explicit sign}
     | @code{@@}
 @svar{symbol element} @expansion{}
-    @pseudoprod{any character other than @svar{vertical line} or @code{\}}
+    @pseudoprod{any character other than @svar{vertical line} or @code{@backslashchar{}}}
     | @svar{inline hex escape} | @svar{mnemonic escape} | @code{|}
 
 @svar{boolean} @expansion{} @code{#t} | @code{#f} | @code{#true}
@@ -153,7 +151,7 @@ identifiers.
 @svar{string} @expansion{} @code{"} @arbno{@svar{string element}} @code{"}
 
 @svar{string element} @expansion{}
-      @pseudoprod{any character other than @code{"} or @code{\}}
+      @pseudoprod{any character other than @code{"} or @code{@backslashchar{}}}
     | @svar{mnemonic escape} | @code{\"} | @code{\\}
     | \@arbno{@svar{intraline whitespace}}@svar{line ending}
       @arbno{@svar{intraline whitespace}}