Re: Copiable anchor links in gcc manual

[Jonathan Wakely]

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 make a ¶ sign appear which can be
> copied to give a link.

Nice.

> 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)?

The docs are generated on the gcc.gnu.org machine when the release
manager cuts a release. I'm not sure if we want to regenerate the
existing docs for old releases, but maybe we can install Texinfo 6.8
on that machine so that it's used for the nightly refresh from trunk
and for future releases. On the old gcc.gnu.org machine there was a
lot of custom-built software which was a pain to maintain. For the new
machine, I think the policy is to rely on distro packages unless
there's a very good reason for an exception. Texinfo 6.8 is not
currently available in the repo for centos8, so would need to be added
to the EPEL repos or somebody would have to maintain a COPR build for
it.