On 7/12/21 4:16 PM, Eli Zaretskii wrote:
From: Jonathan Wakely <jwakely....@gmail.com>
Date: Mon, 12 Jul 2021 15:05:11 +0100
Cc: Martin Liška <mli...@suse.cz>,
"g...@gcc.gnu.org" <g...@gcc.gnu.org>, gcc-patches
<gcc-patches@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.
No, the alternative is more powerful output given by Texinfo, in particular
more modern HTML pages.
Martin
