On Fri, Aug 19, 2022 at 03:01:53PM +0200, Patrice Dumas wrote: > The code did not follow the HTML Cross-reference Node Name Expansion > 'Multiple consecutive space, tab and newline characters are transformed > into just one space.' This is a good thing, in my opinion, to follow > that rule, as that way the HTML cross-references and Info cross > references are consistent. It should be fixed now.
Ok good. > We could make it explicit in the manual, in node 'Node Line > Requirements', by adding to the different possibilities on spaces in > nodes a possibilities with @-commands, such as > > @node @ foo @: @* bar, > > I think that we should not, keeping the possibility open to do things > differently. I put a comment in the manual. I'm keen that we don't clutter up the manual with this kind of thing. There's no good reason to use @* or "@ " in node names and @: should be very rare.
