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

[Gavin Smith]

On Fri, Apr 08, 2022 at 03:36:59PM +0200, Patrice Dumas wrote:
> On Fri, Apr 08, 2022 at 02:22:30PM +0100, Gavin Smith wrote:
> > 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.
> > > 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'.
> 
> I thought that this was already done for the case of a @node (not Top)
> after a @part after Top node?

The ignoring starts at '@node Top' and continues until the next @node or
@part command.

> 
> > 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.
> 
> For me, there is no issue with having something different with texi2any
> and texi2pdf for such a case, @part before @node Top is a case we can
> ignore.  The documentation is clear that the beginning of the document
> should be @node Top or @top, not a @part.

Okay, I won't worry about trying to make texi2any match what texinfo.tex
does for a @part before '@node Top'.

> However, the following situation is usual:
> 
>  @node Top
>  @top top
> 
>  @part part I
>  @node start
>  @chapter chap
> 
> For this situation, I would be better if @part part I was not ignored.
> I thought that it was already the case in TeX with the last change.

Yes, that is correct.