On Sun, Mar 02, 2025 at 12:22:10PM +0100, Patrice Dumas wrote: > > The @xref produces "See Section0.1 [Node 1]". > > > > But the link in the PDF actually goes to the @section in the PDF (after > > the aaa), not the @node. > > > > If the @section line is not there at all, it is not possible to reference > > "Node 1". > > > > So a lone @node is not really supported in texinfo.tex. > > With the change, what was before a lone node may become a node with > heading, even if the @heading command is 'far away'. If the user wants > the node to remain a lone node, it seems to me that there is a need for > something like @xrefname. The node will not actually remain a lone > node, but it will not be associated with the @heading, and we could > consider that an empty @xrefname is explicitly allowed and allows to > have a lone node, even if with a following @heading, as it was before.
I've committed a (very short) change to texinfo.tex to implement @xrefname. An empty @xrefname works, but will produce an empty label in case a cross-reference is made to the node under xrefautomaticsectiontitle.
