From: Gerd Zellweger <mail@gerdzellweger.com>
Date: Thu, 10 Oct 2013 09:51:49 +0000 (+0200)
Subject: Use \textless and \textgreater instead of <>.
X-Git-Tag: release2013-11-17~8
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=212abe37680e4c77fe60f20d2851bdeb5d3b5664

Use \textless and \textgreater instead of <>.
---

diff --git a/doc/008-tracing/Tracing.tex b/doc/008-tracing/Tracing.tex
index 7c050fe..7bff122 100644
--- a/doc/008-tracing/Tracing.tex
+++ b/doc/008-tracing/Tracing.tex
@@ -752,7 +752,7 @@ that can talk to the Barrelfish machines you can use ssh port-forwarding to
 connect Aquarium 2 to Barrelfish directly using the ssh invocation below.
 
 \begin{code}
-ssh -L 6666:<IP of Barrelfish machine>:6666 <ssh-machine>
+ssh -L 6666:\textless IP of Barrelfish machine\textgreater:6666 \textless ssh-machine\textgreater
 \end{code}
 
 \chapter{Performance Analysis}