commit fd772a2d129b6254f0037837cfbdd7acf26e2009
parent ce8c194bd459681aae86c33708b39ac353f0b62f
Author: Yuval Langer <yuvallangerontheroad@gmail.com>
Date: Sat, 27 Jan 2024 19:01:32 +0200
Rename target from r5rs.info to r7rs-small.info.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo
@@ -1,7 +1,7 @@
\input texinfo @c -*-texinfo-*-
@c %**start of header
-@setfilename r5rs.info
-@settitle Revised(5) Scheme
+@setfilename r7rs-small.info
+@settitle Revised(7) Scheme (small)
@ifinfo
@dircategory The Algorithmic Language Scheme