Re: correctly placed @part before @node can be in ignored Top node

[Gavin Smith]

On Sun, Mar 20, 2022 at 11:47:41PM +0100, Patrice Dumas wrote:
> On Sun, Mar 13, 2022 at 07:11:11PM +0000, Gavin Smith wrote:
> > 
> > Do you think you can do something similar for texi2any, i.e. not include
> > the @part line in the preceding node?
> 
> Should be done now.  Note that this also means that a @part before Top
> node should be ignored too.  In the following example, the @part should
> not be output, in my opinion:
> 
> \input texinfo.tex
> 
> @part before top
> 
> @node Top
> 
> something
> 
> @bye
> 
> 
> It is not the case in TeX right now.

I can see no way of implementing this in TeX.  The input in TeX is read
from start to finish; there's no way of looking ahead to see if a @part
is followed by '@node Top'.

Can we just ignore the Top node and forget about ignoring part pages
altogether?  A @part page before the Top node is a very unusual case that
we shouldn't have to handle specially.

I am going to try to do some work on this this afternoon.