Avoid Unicode in texinfo.

Modern LaTeX can handle it but texinfo can't.

diff --git a/doc/ref-manual/io.texi b/doc/ref-manual/io.texi
index 1adca4a87163aa8e497876ee3368afcb3393d3ab..c72a49f838cdd55974ed2f674e746ad6567f9323 100644 (file)
--- 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 a5e979b6a5e787f6eee38f88696bbb752765d262..0503c3ad200e766186dd7ee1fa5e0492c57a3b0c 100644 (file)
--- 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