remove workarounds to prevent "--" in code from being improperly munged to

single hyphens in the HTML output; this is no longer needed now that
../perl/python.perl makes things just work

diff --git a/Doc/lib/libsgmllib.tex b/Doc/lib/libsgmllib.tex
index bf01a7d2a41da50876e6a790406734da0c3270f4..a874cb3a15a26634d2ee68e8f77e8c8dd58224f1 100644 (file)
--- a/Doc/lib/libsgmllib.tex
+++ b/Doc/lib/libsgmllib.tex
@@ -33,9 +33,9 @@ Numeric character references of the form \samp{\&\#\var{name};}.
 Entity references of the form \samp{\&\var{name};}.
 
 \item
-SGML comments of the form \samp{<!-\code{-}\var{text}-\code{-}>}.  Note that
+SGML comments of the form \samp{<!--\var{text}-->}.  Note that
 spaces, tabs, and newlines are allowed between the trailing
-\samp{>} and the immediately preceding \samp{-\code{-}}.
+\samp{>} and the immediately preceding \samp{--}.
 
 \end{itemize}
 \end{classdesc}
@@ -140,8 +140,8 @@ The default \member{entitydefs} defines translations for
 \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{<!-\code{-}} and \samp{-\code{-}>} delimiters, but not the delimiters
-themselves.  For example, the comment \samp{<!-\code{-}text-\code{-}>} will
+\samp{<!--} and \samp{-->} delimiters, but not the delimiters
+themselves.  For example, the comment \samp{<!--text-->} will
 cause this method to be called with the argument \code{'text'}.  The
 default method does nothing.
 \end{methoddesc}

diff --git a/Doc/lib/libxmllib.tex b/Doc/lib/libxmllib.tex
index dbc4b66c607c4ede3597de0744c112f7e20364c0..f7197cade04b60d1f4eb013e159cf17ee0b3c4e5 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{<!-\code{-}} and \samp{-\code{-}>} delimiters, but not the delimiters
-themselves.  For example, the comment \samp{<!-\code{-}text-\code{-}>} will
+\samp{<!--} and \samp{-->} delimiters, but not the delimiters
+themselves.  For example, the comment \samp{<!--text-->} will
 cause this method to be called with the argument \code{'text'}.  The
 default method does nothing.
 \end{methoddesc}