commit 931eef3f57005c21ab9253573279085d3126ffd6
parent 1275c1c53e13075eada220e4c0865613d54e969d
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date: Wed, 31 Jan 2024 14:32:11 -0500
Inclusion: Texify.
Diffstat:
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo
@@ -1453,19 +1453,20 @@ unspecified.
@node Inclusion
@subsection Inclusion
-syntax: (include @svar{string1} @svar{string2} @dots{})
-syntax: (include-ci @svar{string1} @svar{string2} @dots{})
+@deffn syntax include @svar{string@sub{1}} @svar{string@sub{2}}@dots{}
+@deffnx syntax include-ci @svar{string@sub{1}} @svar{string@sub{2}}@dots{}
-Semantics: Both include and include-ci take one or more filenames expressed as string
+Semantics: Both @code{include} and @code{include-ci} take one or more filenames expressed as string
literals, apply an implementation-specific algorithm to find corresponding files, read the
contents of the files in the specified order as if by repeated applications of read, and
-effectively replace the include or include-ci expression with a begin expression containing
-what was read from the files. The difference between the two is that include-ci reads each
-file as if it began with the #!fold-case directive, while include does not.
+effectively replace the @code{include} or @code{include-ci} expression with a @code{begin} expression containing
+what was read from the files. The difference between the two is that @code{include-ci} reads each
+file as if it began with the @code{#!fold-case} directive, while @code{include} does not.
Note: Implementations are encouraged to search for files in the directory which
contains the including file, and to provide a way for users to specify other directories
to search.
+@end deffn
@node Derived expression types
@section Derived expression types
