summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--security/advanced/pres_advanced_sec.tex5
1 files changed, 4 insertions, 1 deletions
diff --git a/security/advanced/pres_advanced_sec.tex b/security/advanced/pres_advanced_sec.tex
index 863980b..abdc749 100644
--- a/security/advanced/pres_advanced_sec.tex
+++ b/security/advanced/pres_advanced_sec.tex
@@ -177,7 +177,10 @@ rm: cannot remove `/home/franz/.bash_history': Operation not permitted
\frametitle{Domain Transition Management}
\begin{itemize}
\item Control Domain Transition Behavior
-\item Syntax: <directive> <domain> from <domain>
+\item Syntax: \\
+\begin{verbatim}
+<directive> <domain> from <domain>
+\end{verbatim}
\item Directives:
\begin{itemize}
\item initialize\_domain / no\_initialize\_domain