Re: Copiable anchor links in gcc manual

2022-07-05 Thread Jonathan Wakely via Gcc
On Tue, 5 Jul 2022 at 13:27, Gavin Smith wrote: > This was implemented in Texinfo 6.8, released 3rd July, 2021. See for > example any of the options listed on this page: > > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Invoking-texi2any.html > > Hovering over the options should mak

Copiable anchor links in gcc manual

2022-07-05 Thread Gavin Smith via Gcc
(Please CC bug-texi...@gnu.org in replies to this email.) The current gcc web documentation (for gcc 12.1, released May 2022) doesn't include copiable hyperlinks for some parts of the manual, as the manual was generated with an older version of Texinfo, 6.5: https://gcc.gnu.org/onlinedocs/gcc-12.