apply hackish work-arounds to make sure double hyphens aren't screwed

up in the generated HTML
(this won't be needed on the trunk)

diff --git a/Doc/lib/libxmllib.tex b/Doc/lib/libxmllib.tex
index f7197cade04b60d1f4eb013e159cf17ee0b3c4e5..dbc4b66c607c4ede3597de0744c112f7e20364c0 100644 (file)
--- a/Doc/lib/libxmllib.tex
+++ b/Doc/lib/libxmllib.tex
@@ -166,8 +166,8 @@ references outside of the \ASCII{} range.
 \begin{methoddesc}{handle_comment}{comment}
 This method is called when a comment is encountered.  The
 \var{comment} argument is a string containing the text between the
-\samp{<!--} and \samp{-->} delimiters, but not the delimiters
-themselves.  For example, the comment \samp{<!--text-->} will
+\samp{<!-\code{-}} and \samp{-\code{-}>} delimiters, but not the delimiters
+themselves.  For example, the comment \samp{<!-\code{-}text-\code{-}>} will
 cause this method to be called with the argument \code{'text'}.  The
 default method does nothing.
 \end{methoddesc}