diff options
Diffstat (limited to 'lib/texinfo.tex')
| -rw-r--r-- | lib/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/texinfo.tex b/lib/texinfo.tex index 0f3a0960c..c2901b923 100644 --- a/lib/texinfo.tex +++ b/lib/texinfo.tex @@ -6150,7 +6150,7 @@ end % Same as \defaultparindent. \newdimen\tocindent \tocindent = 15pt -% Now for the actual typesetting. In all these, #1 is the text and #2 is the +% Now for the actual typesetting. In all of these, #1 is the text and #2 is the % page number. % % If the toc has to be broken over pages, we want it to be at chapters |