On Wed, 8 Mar 2023, Sandra Loosemore wrote: > I personally do not know how the manuals for the GCC web site are built
gcc.gnu.org has texinfo 6.5. (It's a RHEL 8.7 system.) > If we do update the version, there's a version check in configure.ac and > some hack for "makeinfo 4.7 brokenness" in doc/install.texi2html that > need to be changed, as well as install.texi. The note in doc/install.texi2html isn't specific to version 4.7. Rather it's about a design decision made then to encode dashes as _002d which essentially solved a non-issue and isn't practial at all. Good point - I'll see to update that comment. Gerald
