Work around the conversion of ">>" and "<<" to guillemets. Reported by

Ping on the Doc-SIG mailing list.

diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 810fb1a9ffc31a38b44bf6812391e9f02a3af248..5663daaef288b37a5fddd3a220ace0b287136db7 100644 (file)
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -931,7 +931,7 @@ left).
   \hline
     \lineii{\code{\&}}                         {Bitwise AND}
   \hline
-    \lineii{\code{<<}, \code{>>}}              {Shifts}
+    \lineii{\code{<}\code{<}, \code{>}\code{>}}        {Shifts}
   \hline
     \lineii{\code{+}, \code{-}}{Addition and subtraction}
   \hline