Minor tweak as a side effect of fixing #1243553. The Unicode name for " is

'quotation mark', so I decided to use it instead of 'double-quote'.

diff --git a/Doc/lib/libcgi.tex b/Doc/lib/libcgi.tex
index f2f968f0c43d20e3530620849baeeceb9c1e2f54..96b4ec45ed27465c3a2275e5c41e2399e9436130 100644 (file)
--- a/Doc/lib/libcgi.tex
+++ b/Doc/lib/libcgi.tex
@@ -404,7 +404,7 @@ Convert the characters
 \character{\&}, \character{<} and \character{>} in string \var{s} to
 HTML-safe sequences.  Use this if you need to display text that might
 contain such characters in HTML.  If the optional flag \var{quote} is
-true, the double-quote character (\character{"}) is also translated;
+true, the quotation mark character (\character{"}) is also translated;
 this helps for inclusion in an HTML attribute value, as in \code{<A
 HREF="...">}.  If the value to be quoted might include single- or
 double-quote characters, or both, consider using the