> Cc: g...@gcc.gnu.org, gcc-patches@gcc.gnu.org, jos...@codesourcery.com > From: Martin Liška <mli...@suse.cz> > Date: Mon, 12 Jul 2021 16:34:11 +0200 > > > "Texinfo must go" is one possible conclusion from your description. > > But it isn't the only one. An alternative is "the Texinfo source of > > the GCC manual must be improved to fix this problem." And yes, this > > problem does have a solution in Texinfo. > > No, the alternative is more powerful output given by Texinfo, in particular > more modern HTML pages.
Please see the response by Gavin: it sounds like at least some of that was resolved in Texinfo, sometimes long ago.
