Copiable anchor links in gcc manual

[Gavin Smith]

(Please CC bug-texinfo@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?