apply hackish work-around 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/libdis.tex b/Doc/lib/libdis.tex
index d0354c634dc7fffa2fc7b8b43ef964cc855a7ee6..718623b1a146e8bd652e83c59fea5ca84860ec56 100644 (file)
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -56,7 +56,7 @@ was provided.  The output is divided in the following columns:
 
 \begin{enumerate}
 \item the line number, for the first instruction of each line
-\item the current instruction, indicated as \samp{-->},
+\item the current instruction, indicated as \samp{-\code{-}>},
 \item a labelled instruction, indicated with \samp{>\code{>}},
 \item the address of the instruction,
 \item the operation code name,