Jonathan Wakely via Gcc <[email protected]> writes: > I find it invaluable, it's usually where I go to first when looking > something up in the online html pages. I don't know which of the many, many > pages an option is on, so I go to the summary, search for the option, then > click through to the relevant page and search again to get to the option.
This use-case is better covered by the option index IMO, which is also automatically maintained. https://gcc.gnu.org/onlinedocs/gcc/Option-Index.html -- Arsen Arsenović
signature.asc
Description: PGP signature
