bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Patrice Dumas
Subject: Re: correctly placed @part before @node can be in ignored Top node
Date: Sat, 9 Apr 2022 23:40:03 +0200

On Fri, Apr 08, 2022 at 04:19:41PM +0100, Gavin Smith wrote:
> On Fri, Apr 08, 2022 at 05:02:11PM +0200, Patrice Dumas wrote:
> > 
> > Should I try to stop ignoring at the first @part?
> 
> Yes please.

It is done.  There are no test cases for the cases that could lead to
bad output, let's look at that when it happens for real, as it is not
clear if this can happen for real.

-- 
Pat



reply via email to

[Prev in Thread] Current Thread [Next in Thread]