r7rs-small-texinfo

Unnamed repository; edit this file 'description' to name the repository.
git clone https://kaka.farm/~git/r7rs-small-texinfo
Log | Files | Refs

commit c7532c24f8903e085a092c89735f066135c53518
parent 60d162895440ef03a17a0873316f827da4fa8040
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Wed, 31 Jan 2024 17:13:38 -0500

Rename section.

I don't think there's any issue with sections having the same
names.

Diffstat:
Mdoc/r7rs-small/r7rs-small.texinfo | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo @@ -1404,7 +1404,7 @@ predicates}). @end deffn @node Conditionals primitive -@subsection Conditionals (if) +@subsection Conditionals @deffn syntax if @svar{test} @svar{consequent} @svar{alternate} @deffnx syntax if @svar{test} @svar{consequent}