In description of \D, revise markup so that the caret shows up in the HTML

version as well as the dvi form.  Without the fix, it showed up as an extra
zero character.

Bug reported by Hugh Sasse <hgs@dmu.ac.uk>.

diff --git a/Doc/lib/libre.tex b/Doc/lib/libre.tex
index 33f7cb8de8cefeb264bcb672a55db1a736191601..27d620bb6b5fb6c2fba095737fe33478ae7930c5 100644 (file)
--- a/Doc/lib/libre.tex
+++ b/Doc/lib/libre.tex
@@ -219,7 +219,7 @@ Python's string literals.
 equivalent to the set \code{[0-9]}.
 %
 \item[\code{\e D}]Matches any non-digit character; this is
-equivalent to the set \code{[\^0-9]}.
+equivalent to the set \code{[{\^}0-9]}.
 %
 \item[\code{\e s}]Matches any whitespace character; this is
 equivalent to the set \code{[ \e t\e n\e r\e f\e v]}.

diff --git a/Doc/libre.tex b/Doc/libre.tex
index 33f7cb8de8cefeb264bcb672a55db1a736191601..27d620bb6b5fb6c2fba095737fe33478ae7930c5 100644 (file)
--- a/Doc/libre.tex
+++ b/Doc/libre.tex
@@ -219,7 +219,7 @@ Python's string literals.
 equivalent to the set \code{[0-9]}.
 %
 \item[\code{\e D}]Matches any non-digit character; this is
-equivalent to the set \code{[\^0-9]}.
+equivalent to the set \code{[{\^}0-9]}.
 %
 \item[\code{\e s}]Matches any whitespace character; this is
 equivalent to the set \code{[ \e t\e n\e r\e f\e v]}.