Change raw backslashes to \ to prevent their being lost.

diff --git a/doc/info/lang.html b/doc/info/lang.html
index efc08477f5b99f0091dc70e9cc85c4fb604abae2..3ecdadd00ffca48cdbc4ad6a22c33c90fe58fd4e 100644 (file)
--- a/doc/info/lang.html
+++ b/doc/info/lang.html
@@ -245,8 +245,8 @@ character set, and for which there is a glyph in the font.
 <HR>
 <OL TYPE="1">
 <LI> In quoted strings in DOT, the only escaped character is double-quote
-("). That is, in quoted strings, the dyad \" is converted to "; all other
-characters are left unchanged. In particular, \\ remains \\. Layout
+("). That is, in quoted strings, the dyad &#92;" is converted to "; all other
+characters are left unchanged. In particular, &#92;&#92; remains &#92;&#92;. Layout
 engines may apply additional escape sequences.
 </OL>
 </BODY>

diff --git a/doc/infosrc/lang.2 b/doc/infosrc/lang.2
index 86dbacc19ffa8c8c911f24c661f93e8afc514b1d..12b6618c63958ad0e1860a279d1fdeec1f8d6666 100644 (file)
--- a/doc/infosrc/lang.2
+++ b/doc/infosrc/lang.2
@@ -136,8 +136,8 @@ character set, and for which there is a glyph in the font.
 <HR>
 <OL TYPE="1">
 <LI> In quoted strings in DOT, the only escaped character is double-quote
-("). That is, in quoted strings, the dyad \" is converted to "; all other
-characters are left unchanged. In particular, \\ remains \\. Layout
+("). That is, in quoted strings, the dyad &#92;" is converted to "; all other
+characters are left unchanged. In particular, &#92;&#92; remains &#92;&#92;. Layout
 engines may apply additional escape sequences.
 </OL>
 </BODY>