------- Comment #3 from tromey at gcc dot gnu dot org 2007-01-01 00:34 ------- Sorry, I forgot all about that.
It would be convenient if the manual had an @optindex for both spellings. That way I could use the index to jump to the docs for any option, not just non-default options. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30330
