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

[Patrice Dumas]

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?

> 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.

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.

-- 
Pat