commit | 30348d30d9567c46046f30bb9666a67edf36ee0b | [log] [tgz] |
---|---|---|
author | Andrew Pinski <apinski@marvell.com> | Mon Nov 14 15:21:36 2022 +0000 |
committer | Andrew Pinski <apinski@marvell.com> | Mon Nov 14 15:24:22 2022 +0000 |
tree | 749d5a1c95d5d6ab8565bf3a2af7880511f02de4 | |
parent | 9c19597c0d9181f0bd4e8c535f12fb5d46d08afc [diff] |
Fix @opindex for m80387 I noticed that the opindex for -m80387 option was wrong. It was just 80387 which was not consistent with the rest of the options. This fixes that and uses "@opindex m80387". Committed as obvious after "make html" and checking the option index page. gcc/ChangeLog: * doc/invoke.texi: Fix @opindex for m80387 option.