(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.1.0/gcc/Overall-Options.html#Overall-Options It was also the case for some other versions that I checked, such as gcc 10.4 (released 28th June, 2022). People were asking for links in the Texinfo HTML manual that could be copied to use as links to parts of manuals. See e.g. https://lists.gnu.org/archive/html/help-texinfo/2019-02/msg00000.html https://gcc.gnu.org/pipermail/gcc/2021-July/236740.html https://gcc.gnu.org/pipermail/gcc/2021-July/236745.html 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 make a ¶ sign appear which can be copied to give a link. Is there anybody who can regenerate the gcc manuals with Texinfo 6.8 and upload the results to the website (and/or inform me of any issues or possible improvements)? I'm hoping we can get a new Texinfo release made in the next month or two and any issues with this feature would be top agenda. I'm not subscribed to the gcc list so if this message doesn't get through there, would any of the recipients be able to forward this message to the interested people?
