Re: '@need' command buggy since 2022-08-21.14

[Vincent Lefevre]

On 2022-11-29 21:54:21 +0000, Gavin Smith wrote:
> It's possible to make this page break less likely, e.g. with
> 
> diff --git a/doc/texinfo.tex b/doc/texinfo.tex
> index 6b39021567..e819dfd462 100644
> --- a/doc/texinfo.tex
> +++ b/doc/texinfo.tex
> @@ -702,9 +702,9 @@ where each line of input produces a line of output.}
>      % when followed by a section heading, as it was not a "discardable item".
>      % This also has the benefit of providing glue before the page break if
>      % there isn't enough space.)
> -    \vskip0pt plus \dimen0
> +    \vskip0pt plus .5\dimen0
>      \penalty-100
> -    \vskip0pt plus -\dimen0
> +    \vskip0pt plus -.5\dimen0
>      \vskip \dimen0
>      \penalty9999
>      \vskip -\dimen0
> 
> (or even removing the three lines 
> 
>      \vskip0pt plus \dimen0
>      \penalty-100
>      \vskip0pt plus -\dimen0
> 
> completely).  However, I would like to test it with different inputs.

FYI, any of these changes solves the issue with the MPFR manual, where
I had to change a "@need 800" to "@need 400" for the 4.1.1 release in
order to avoid the incorrect page break (but "@need 800" is really
more like what we want). I've attached the page in question (the bad
version and the correct version).

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

mpfr-bad.pdf
Description: Adobe PDF document

mpfr-ok.pdf
Description: Adobe PDF document