> From: Gavin Smith <[email protected]>
> Date: Thu, 22 Oct 2026 10:00:17 +0100
> Cc: [email protected]
> 
> On Thu, Oct 22, 2026 at 08:18:57AM +0300, Eli Zaretskii wrote:
> 
> >  And at
> > least in the first example, with the node's header line, AFAIU node
> > names should never be quoted there -- did I misunderstand?
> 
> It needs to be quoted otherwise the node name ends at the comma.

But then the file name also cannot include a comma, or should be
quoted if it does.  But the Texinfo manual doesn't say that the file
name can be quoted in the node's header line.

Reply via email to