new @xrefname command

2025-03-09 Thread Gavin Smith
On Sat, Mar 08, 2025 at 12:46:14PM +0100, Patrice Dumas wrote: > On Sun, Mar 02, 2025 at 08:58:19PM +, Gavin Smith wrote: > > I've committed a (very short) change to texinfo.tex to implement @xrefname. > > I implemented in texi2any too. I've written the documentation for it. Could you check

Re: new @xrefname command

2025-03-09 Thread Patrice Dumas
On Sun, Mar 09, 2025 at 04:42:31PM +, Gavin Smith wrote: > On Sat, Mar 08, 2025 at 12:46:14PM +0100, Patrice Dumas wrote: > > On Sun, Mar 02, 2025 at 08:58:19PM +, Gavin Smith wrote: > > > I've committed a (very short) change to texinfo.tex to implement > > > @xrefname. > > > > I implemen