diff options
-rw-r--r-- | doc/documentation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/documentation.tex b/doc/documentation.tex index e36378c..a7ed990 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -49,7 +49,7 @@ long-running programs in a multi-user environment.) \section{Setup} -\begin{Verbatim}[commandchars=\\\{\},frame=single] +\begin{verbatim}[commandchars=\\\{\},frame=single] # # # # # # # # # # # # # # # Checkpointing / Recovery ActiveThorns = "IOHDF5Util IOHDF5" @@ -73,7 +73,7 @@ ManualTermination::termination_from_file=yes ManualTermination::check_file_every=10 #evolution steps ManualTermination::output_remtime_every_minutes=2 # how often to remind user -\end{Verbatim} +\end{verbatim} \section{Use} |