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.
