diff options
| -rw-r--r-- | texinfo.tex | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/texinfo.tex b/texinfo.tex index 3ea6bd5..7d3a33c 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -1841,15 +1841,13 @@ July\or August\or September\or October\or November\or December\fi \itemxneedsnegativevskipfalse \else % The item text fits into the space. Start a paragraph, so that the - % following text (if any) will end up on the same line. Since that - % text will be indented by \tableindent, we make the item text be in - % a zero-width box. + % following text (if any) will end up on the same line. \noindent % Do this with kerns and \unhbox so that if there is a footnote in % the item text, it can migrate to the main vertical list and % eventually be printed. \nobreak\kern-\tableindent - \dimen0 = \itemmax \advance\dimen0 by -\wd0 + \dimen0 = \itemmax \advance\dimen0 by \itemmargin \advance\dimen0 by -\wd0 \unhbox0 \nobreak\kern\dimen0 \endgroup |