Fixed typesetting of an include command in the Tracing TechNote
authorStefan Kaestle <stefan.kaestle@inf.ethz.ch>
Tue, 23 Apr 2013 09:09:11 +0000 (11:09 +0200)
committerStefan Kaestle <stefan.kaestle@inf.ethz.ch>
Tue, 23 Apr 2013 09:09:11 +0000 (11:09 +0200)
doc/008-tracing/Tracing.tex

index 3ff49cf..3f53635 100644 (file)
@@ -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