On Sun, Oct 25, 2026 at 08:04:48PM +0000, Gavin Smith wrote: > That is great. I noticed an unusual output line in > tta/perl/t/results/info_tests: > > * (man:^?u.al)ext::^? > > @menu > * (man:u.al)ext:: > > @end menu > > I suppose the : in the manual name "man:u.al" is being taken as terminating > a menu entry label, and the rest of the line is taken as a node name to > be quoted (because of the . between "u" and "al").
Indeed. > However, it would make sense to me for the line from the Texinfo > @menu block to be reproduced as-is, without added quoting characters. We said that if there a label and a . in the node name, the node name should be quoted, this is the result of this rule. It is not clear to me why there should be an exception here? -- Pat
