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 33f7cb8..27d620b 100644
--- a/Doc/lib/libre.tex
+++ b/Doc/lib/libre.tex
@@ -219,7 +219,7 @@
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]}.