Adjust a few niggles that affected the HTML conversion (a couple of

"^"s were being dropped in the context of [^...]).

diff --git a/Doc/lib/libre.tex b/Doc/lib/libre.tex
index 81bfd9223e55eae56e31b20f2c121823c3d4558b..161cc5b63b39d8dda969db614e63f56b27a71e3c 100644 (file)
--- a/Doc/lib/libre.tex
+++ b/Doc/lib/libre.tex
@@ -150,7 +150,7 @@ pattern \regexp{[]]} will match \code{']'}, for example.
 You can match the characters not within a range by \dfn{complementing}
 the set.  This is indicated by including a
 \character{\^} as the first character of the set; \character{\^} elsewhere will
-simply match the \character{\^} character.  For example, \regexp{[\^5]}
+simply match the \character{\^} character.  For example, \regexp{[{\^}5]}
 will match any character except \character{5}.
 
 \item[\character{|}]\code{A|B}, where A and B can be arbitrary REs,
@@ -254,7 +254,7 @@ Python's string literals.
 equivalent to the set \regexp{[0-9]}.
 %
 \item[\code{\e D}]Matches any non-digit character; this is
-equivalent to the set \regexp{[\^0-9]}.
+equivalent to the set \regexp{[{\^}0-9]}.
 %
 \item[\code{\e s}]Matches any whitespace character; this is
 equivalent to the set \regexp{[ \e t\e n\e r\e f\e v]}.
@@ -270,7 +270,7 @@ current locale.
 %
 \item[\code{\e W}]When the \constant{LOCALE} flag is not specified,
 matches any non-alphanumeric character; this is equivalent to the set
-\regexp{[\^a-zA-Z0-9_]}.   With \constant{LOCALE}, it will match any
+\regexp{[{\^}a-zA-Z0-9_]}.   With \constant{LOCALE}, it will match any
 character not in the set \regexp{[0-9_]}, and not defined as a letter
 for the current locale.