Work around the conversion of ">>" and "<<" to guillemets. Reported by Ping.
diff --git a/Doc/lib/libdis.tex b/Doc/lib/libdis.tex
index 3a274ef..b41b719 100644
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -56,7 +56,7 @@
\begin{enumerate}
\item the current instruction, indicated as \samp{-->},
-\item a labelled instruction, indicated with \samp{>>},
+\item a labelled instruction, indicated with \samp{>\code{>}},
\item the address of the instruction,
\item the operation code name,
\item operation parameters, and