From b87d3979769bf2dee65ed9d38a5e9ea966c337ec Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Sat, 10 Aug 2019 15:17:40 +0000 Subject: [PATCH] Avoid Unicode in texinfo. Modern LaTeX can handle it but texinfo can't. --- doc/ref-manual/io.texi | 4 ++-- doc/ref-manual/strings.texi | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/ref-manual/io.texi b/doc/ref-manual/io.texi index 1adca4a87..c72a49f83 100644 --- a/doc/ref-manual/io.texi +++ b/doc/ref-manual/io.texi @@ -79,7 +79,7 @@ returned. If @var{procedure} does not return, then the port must not be closed automatically unless it is possible to prove that the port will never again be used for a read or write operation. -@emph{Rationale}: Because Scheme’s escape procedures have unlimited +@emph{Rationale}: Because Scheme's escape procedures have unlimited extent, it is possible to escape from the current continuation but later to resume it. If implementations were permitted to close the port on any escape from the current continuation, then it would be @@ -583,7 +583,7 @@ If an end of file is encountered in the input before any characters are found that can begin an object, then an end-of-file object is returned. The port remains open, and further attempts to read will also return an end-of-file object. If an end of file is encountered -after the beginning of an object’s external representation, but the +after the beginning of an object's external representation, but the external representation is incomplete and therefore not parsable, an error that satisfies @code{read-error?} is signaled. diff --git a/doc/ref-manual/strings.texi b/doc/ref-manual/strings.texi index a5e979b6a..0503c3ad2 100644 --- a/doc/ref-manual/strings.texi +++ b/doc/ref-manual/strings.texi @@ -389,7 +389,7 @@ It is important to recognize that what the user thinks of as a not be just a single Unicode code point. Instead, that basic unit may be made up of multiple Unicode code points. To avoid ambiguity with the computer use of the term character, this is called a -user-perceived character. For example, “G” + acute-accent is a +user-perceived character. For example, ``G'' + acute-accent is a user-perceived character: users think of it as a single character, yet is actually represented by two Unicode code points. These user-perceived characters are approximated by what is called a -- 2.25.1