diff options
| author | Karl Berry <karl@gnu.org> | 1998-08-28 14:29:37 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-08-28 14:29:37 +0000 |
| commit | 84d159bb642a5806736efcf6b8395a4d92e3a2d1 (patch) | |
| tree | 182af910638abf630d917d3e5a5ab0ba54adba50 | |
| parent | 050f9d9f5d2334be23d774d140cce16d569b8586 (diff) | |
| download | gunmake-84d159bb642a5806736efcf6b8395a4d92e3a2d1.tar.gz | |
* texinfo.tex (\itemzzz): take \itemmargin into account when
unhboxing. Reported by Bob.
| -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 |