Fix encoding of \n in a couple of places (reported by Lorenzo
M. Catucci <lorenzo@argon.roma2.infn.it>).
diff --git a/Doc/ref/ref6.tex b/Doc/ref/ref6.tex
index 1748202..3a2e260 100644
--- a/Doc/ref/ref6.tex
+++ b/Doc/ref/ref6.tex
@@ -300,24 +300,24 @@
print_stmt: "print" [ expression ("," expression)* [","] ]
\end{verbatim}
-\keyword{print} evaluates each expression in turn and writes the resulting
-object to standard output (see below). If an object is not a string,
-it is first converted to a string using the rules for string
+\keyword{print} evaluates each expression in turn and writes the
+resulting object to standard output (see below). If an object is not
+a string, it is first converted to a string using the rules for string
conversions. The (resulting or original) string is then written. A
-space is written before each object is (converted and) written, unless
+space is written before each object is (converted and) written, unless
the output system believes it is positioned at the beginning of a
line. This is the case (1) when no characters have yet been written
to standard output, (2) when the last character written to standard
-output is \character{\\n}, or (3) when the last write operation on standard
-output was not a \keyword{print} statement. (In some cases it may be
-functional to write an empty string to standard output for this
-reason.)
+output is \character{\e n}, or (3) when the last write operation on
+standard output was not a \keyword{print} statement. (In some cases
+it may be functional to write an empty string to standard output for
+this reason.)
\index{output}
\indexii{writing}{values}
-A \character{\\n} character is written at the end, unless the \keyword{print}
-statement ends with a comma. This is the only action if the statement
-contains just the keyword \keyword{print}.
+A \character{\e n} character is written at the end, unless the
+\keyword{print} statement ends with a comma. This is the only action
+if the statement contains just the keyword \keyword{print}.
\indexii{trailing}{comma}
\indexii{newline}{suppression}