From: Stefan Kaestle <stefan.kaestle@inf.ethz.ch>
Date: Tue, 23 Apr 2013 09:09:11 +0000 (+0200)
Subject: Fixed typesetting of an include command in the Tracing TechNote
X-Git-Tag: release2013-04-26~1
X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=commitdiff_plain;h=fa8cc0cd442b137b40dbf83c3e59d95ebbb20a31

Fixed typesetting of an include command in the Tracing TechNote
---

diff --git a/doc/008-tracing/Tracing.tex b/doc/008-tracing/Tracing.tex
index 3ff49cf..3f53635 100644
--- a/doc/008-tracing/Tracing.tex
+++ b/doc/008-tracing/Tracing.tex
@@ -256,9 +256,9 @@ For the pleco file of Listing \ref{lst:pleco-file}, the header file shown in
 Listing \ref{lst:headerfile} has been generated during the build process. In
 Barrelfish source code, this file can be included with the statement:
 
-\begin{description}
-	\item[$\#$include] <trace\_definitions/trace\_defs.h>
-\end{description}
+\begin{lstlisting}
+#include <trace_definitions/trace_defs.h>
+\end{lstlisting}
 
 Note that the macro that are created for events also contain the subsystem name,
 so that there will not be any name collisions when two different subsystem