diff options
| -rw-r--r-- | Doc/texinputs/manual.cls | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/texinputs/manual.cls b/Doc/texinputs/manual.cls index fe7e3ef..21e74c9 100644 --- a/Doc/texinputs/manual.cls +++ b/Doc/texinputs/manual.cls @@ -132,6 +132,7 @@ % \renewcommand*\l@section{\@dottedtocline{1}{1.5em}{2.6em}} \renewcommand*\l@subsection{\@dottedtocline{2}{4.1em}{3.5em}} +\setcounter{tocdepth}{1} % Fix the theindex environment to add an entry to the Table of |