diff options
Diffstat (limited to 'doc/MaintGuide/MaintGuide.tex')
| -rw-r--r-- | doc/MaintGuide/MaintGuide.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/MaintGuide/MaintGuide.tex b/doc/MaintGuide/MaintGuide.tex index e359ddf4..715af00b 100644 --- a/doc/MaintGuide/MaintGuide.tex +++ b/doc/MaintGuide/MaintGuide.tex @@ -54,7 +54,9 @@ $}{$ $Date$ $} % Table of contents \pagenumbering{roman} +\ifx \HCode\Undef \tableofcontents +\fi %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |