> From: Jonathan Wakely <jwakely....@gmail.com> > Date: Mon, 12 Jul 2021 15:05:11 +0100 > Cc: Martin Liška <mli...@suse.cz>, > "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>, gcc-patches > <gcc-patc...@gcc.gnu.org>, > "Joseph S. Myers" <jos...@codesourcery.com> > > To be clear, I give links to users frequently (several times a week, > every week, for decades) and prefer to give them a link to specific > options. Obviously I link to the online HTML docs rather than telling > them an 'info' command to run, because most people don't use info > pages or know how to navigate them. That means I can't provide decent > links, because the actual option name I'm trying to link to is always > off the top of the page. This is simply unacceptable IMHO. Texinfo > must go.
"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.
