Fix problem for the Library Reference where high-numbered sections of

high-numbered chapters took too much space for the section number in the
table of contents.  This makes the section number and title not overlap.

diff --git a/Doc/texinputs/manual.cls b/Doc/texinputs/manual.cls
index d48923e90c4abe03cecc34a0e02e59d1ed380cb5..c529e5b95ae0e5b1ca0f5df31642e75107704943 100644 (file)
--- a/Doc/texinputs/manual.cls
+++ b/Doc/texinputs/manual.cls
@@ -122,6 +122,11 @@
   \@ifundefined{fancyhf}{}{\pagestyle{normal}}%
   \@doing@page@targetstrue%
 }
+% This is needed to get the width of the section # area wide enough in the
+% library reference.  Doing it here keeps it the same for all the manuals.
+%
+\renewcommand*\l@section{\@dottedtocline{1}{1.5em}{2.6em}}
+\renewcommand*\l@subsection{\@dottedtocline{2}{4.1em}{3.5em}}
 
 
 % Fix the theindex environment to add an entry to the Table of