On Sat, Jan 06, 2024 at 10:26:29PM +0200, Eli Zaretskii wrote: > > From: Gavin Smith <[email protected]> > > Date: Sat, 6 Jan 2024 19:41:27 +0000 > > Cc: Eli Zaretskii <[email protected]>, [email protected], > > [email protected], [email protected], [email protected], > > [email protected] > > > > On Sat, Jan 06, 2024 at 01:49:53PM +0000, Jean-Christophe Helary wrote: > > > Thinking out loud here, but @node currently requires the node-name > > > argument and has next/preious/up optional argument. It seems to me that > > > most of the issues would be fixed by adding a fifth argument that acts > > > like the cross-references' second argument (online-label). That way, > > > node-name can stay as it is and act as the pointer but is displayed as > > > "online-label", which is the translated part. > > > > A document author can use @anchor to provide target text for a > > cross-reference which does not appear in the reader-visible part > > of the manual. I don't see that extending the Texinfo language is > > necessary. > > Do you mean that a translated manual should have an @anchor for each > @node, where nodes have translated names and the anchors give their > original names in English?
Yes, exactly.
