grub-0.97/docs/texinfo.tex

260   \removelastskip\penalty-50\smallskip\fi\fi}
262   \removelastskip\penalty-100\medskip\fi\fi}
264   \removelastskip\penalty-200\bigskip\fi\fi}
477   % expansion of \tie (\leavevmode \penalty \@M \ ).
630 % at the beginning of a line will start with \penalty -- and
631 % since \penalty is valid in vertical mode, we'd end up putting the
632 % penalty on the vertical list instead of in the new paragraph.
637  \gdef\tie{\leavevmode\penalty\tiepenalty\ }
761     % TeX does not even consider page breaks if a penalty added to the
765     % page after the empty box.  So we use a penalty of 9999.
768     % page at this \penalty, if there are no other feasible breakpoints in
772     % example where a page broke at this \penalty; if it happens in a real
2354     \penalty 10001
2470    \vadjust{\penalty 1200}}% not good to break after first line of item.
3499     % If \lastskip was zero, perhaps the last item was a penalty, and
3501     % to re-insert the same penalty (values >10000 are used for various
3510     \ifnum\count255>9999 \penalty\count255 \fi
3610   \penalty 0
3813   \penalty\outputpenalty
4216   \bigskip \par\penalty 200\relax
4232 %%% Args are the skip and penalty (usually negative)
4233 \def\dobreak#1#2{\par\ifdim\lastskip<#1\removelastskip\penalty#2\vskip#1\fi}
4355 \par\penalty 5000 %
4445   % This is purely so the last item on the list is a known \penalty >
4451   \penalty 10001
4658 % if at all possible; hence the \penalty.
4660    \penalty-300 \vskip1\baselineskip plus.33\baselineskip minus.25\baselineskip
4803       % it's not a good place to break if the last penalty was \nobreak
4805       \ifnum\lastpenalty<10000 \penalty-50 \fi
5192     % break somewhere.  Check specifically for penalty 10002, inserted
5194     % commands also insert a nobreak penalty, and we don't want to allow
5201     \medskip  % preceded by discardable penalty, so not a breakpoint
5233     \penalty 10002  % signal to \startdefun and \dodefunx
6232 \def\supereject{\par\penalty -20000\footnoteno =0 }