Do people find the "Option Summary" in the GCC manual useful?

[Arsen Arsenović]

Sandra Loosemore <sloosemore@baylibre.com> writes:

> OK.  I'm personally more likely to use the direct link from the option index to
> look up docs for a particular option I already know the name of and/or the PDF
> document instead of chunked HTML, but if other people use the option summary +
> text search then I will of course continue to support that usage.
>
> BTW, I did take a quick look earlier at whether I could make the entries in the
> "Option Summary" also link directly to the docs for that option, but I didn't
> see an obvious way to do it with basic Texinfo usage.  It might require some
> devious knowledge of Texinfo internals and/or dependencies on newer versions of
> Texinfo that have better HTML support and/or postprocessing of the HTML output,
> and for now I put that aside while trying to fill in docs for options that
> presently have none.

There isn't a good way in any case AFAIU (though Gavin might know better
on the Texinfo MLs); it'd require creating @anchors at each point and
then manually @link-ing.  I think it'd be best to replace the section
with a link to the option index personally (and, if we're talking about
this, I've wanted to go through the option index to make all options
documented in positive and negative form, and with dashes in front so
that all shapes of flags someone might think of receive indices).
-- 
Arsen Arsenović
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 418 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20251026/55aca681/attachment.sig>