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 054dc6c0d009b6ffd3c972f9bfc020882fc91109
parent f139a4bb434b107e894dbd441df93a225de6a3f7
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Thu,  1 Feb 2024 15:18:16 -0500

Rename auxiliary Texinfo macros file to avoid collision.

Diffstat:

Mdoc/r7rs-small/r7rs-small.texinfo | 2+-


Rdoc/r7rs-small/macros.texinfo -> doc/r7rs-small/r7rs-texinfo-macros.texinfo | 0


2 files 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.texinfo
+@include r7rs-texinfo-macros.texinfo
 
 @titlepage
 @title Scheme
diff --git a/doc/r7rs-small/macros.texinfo b/doc/r7rs-small/r7rs-texinfo-macros.texinfo