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 aeb3922b..1c61a47a 100644 --- a/doc/UsersGuide/UsersGuide.tex +++ b/doc/UsersGuide/UsersGuide.tex @@ -57,7 +57,9 @@ urlcolor=blue % Table of contents \pagenumbering{roman} +\ifx \HCode\Undef \tableofcontents +\fi %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |