r7rs-small-texinfo

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs
commit 077ac5487d9fe843f2c488906ad8232fc2a8697b
parent 8464e95f843cb4fd8b20ce4c0dd20ef2643ba5d9
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Tue, 30 Jan 2024 20:21:43 -0500

Fix included filename.

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
@@ -11,7 +11,7 @@
 @end direntry
 @end ifinfo
 
-@include macros.texi
+@include macros.texinfo
 
 @titlepage
 @title Scheme