commit b964d657bba8358721422266bea2b2aeb8c05bb9
parent 100fdd9282200905b87d2cb0ccf6d390bcb8e218
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date: Sat, 10 Feb 2024 13:44:49 -0500
Fix Unicode output of non-ASCII character.
Diffstat:
2 files changed, 16 insertions(+), 1 deletion(-)
diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo
@@ -198,7 +198,7 @@ for their support and guidance.
This report is very much a community effort, and we'd like to
thank everyone who provided comments and feedback, including
the following people: David Adler, Eli Barzilay, Taylan Ulrich
-Bay@dotless{i}rl@dotless{i}/Kammer, Marco Benelli, Pierpaolo Bernardi,
+Bay@nodoti{}rl@nodoti{}/Kammer, Marco Benelli, Pierpaolo Bernardi,
Peter Bex, Per Bothner, John Boyle, Taylor Campbell, Raffael Cavallaro,
Ray Dillinger, Biep Durieux, Sztefan Edwards, Helmut Eller, Justin
Ethier, Jay Reynolds Freeman, Tony Garnock-Jones, Alan Manuel
diff --git a/doc/r7rs-small/r7rs-texinfo-macros.texinfo b/doc/r7rs-small/r7rs-texinfo-macros.texinfo
@@ -158,6 +158,21 @@ R@sup{6}RS
@end macro
@end iftex
+@c --- Other non-ASCII characters
+
+@c @dotless doesn't produce Unicode output.
+@c Taylan, this is for you.
+@macro nodoti
+@U{0131}
+@end macro
+
+@iftex
+@unmacro nodoti
+@macro nodoti
+@dotless{i}
+@end macro
+@end iftex
+
@c Produce a header for a Rationale section. We may want to adjust
@c the heading level of this.
@macro rationale
