[Bug other/122243] Hundreds of options are missing @opindex entries in manual

[sandra at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122243

--- Comment #3 from sandra at gcc dot gnu.org ---
Created attachment 62539
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62539&action=edit
list of "no-" options that have no @opindex entries

Script output: list of "no-" options that have no @opindex entries