diff options
Diffstat (limited to 'doc/UsersGuide/UsersGuide.tex')
-rw-r--r-- | doc/UsersGuide/UsersGuide.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/UsersGuide/UsersGuide.tex b/doc/UsersGuide/UsersGuide.tex index cab70f1c..60c13f14 100644 --- a/doc/UsersGuide/UsersGuide.tex +++ b/doc/UsersGuide/UsersGuide.tex @@ -24,6 +24,8 @@ urlcolor=blue ]{hyperref} +\usepackage{alltt} +\newcommand{ \var }[1]{\textsl{\texttt{#1}}} % This must come after most of the other \usepackages, because we % might want to pass options to them |