Re: `@need` has no effect if there is a footnote

[Gavin Smith]

On Thu, Aug 18, 2022 at 12:35:36PM +0000, Werner LEMBERG wrote:
> 
> [texinfo.tex version 2022-08-13.17]
> 
> 
> The attached example demonstrates that `@need` doesn't work as
> expected if there is a footnote.  IMHO, the vertical extent of the
> footnote text must be ignored.
> 
> 
>     Werner

The footnote note text is almost certainly being taken into account,
although it appears not to be having not quite the right effect.  You
can see this with a longer footnote.  In the below input the @need 1000
makes a difference even though there is more than one inch left on the
page, when footnotes are included.

(If the footnote appears after the @need, there is no hope of it
being included, but that shouldn't be relevant here.)

Something is not right as, with your input, it breaks after the
@need even though there isn't an inch left before the footnotes
start.  I am not convinced it is the footnotes here that are causing
the problem.  I would have to investigate it further.  I'm wondering
if it is something to do with vertical stretch and shrink on the page
and that there might be space for an extra inch of vertical material
on the page if the page was shrunk enough, but when it actually comes
to typesetting the extra material TeX decides to split it anyway.  This
is just a guess but it could explain that @need is only approximate,
as in the presence of vertical stretch, it's impossible to know how
far down the page the current material will appear.

\input texinfo.tex

@section

1
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

2
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

3
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
@footnote{This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.

This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.
This is a footnote. This is a footnote. This is a footnote.}

4
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

@need 1000

5
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

6
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

7
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

8
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

9
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

10
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.
This is a paragraph. This is a paragraph. This is a paragraph.

@bye