From 212abe37680e4c77fe60f20d2851bdeb5d3b5664 Mon Sep 17 00:00:00 2001
From: Gerd Zellweger <mail@gerdzellweger.com>
Date: Thu, 10 Oct 2013 11:51:49 +0200
Subject: [PATCH] Use \textless and \textgreater instead of <>.

---
 doc/008-tracing/Tracing.tex |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

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}
-- 
1.7.2.5