projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c19597) | patch
Fix @opindex for m80387
authorAndrew Pinski <apinski@marvell.com>
Mon, 14 Nov 2022 15:21:36 +0000 (15:21 +0000)
committerAndrew Pinski <apinski@marvell.com>
Mon, 14 Nov 2022 15:24:22 +0000 (15:24 +0000)
commit30348d30d9567c46046f30bb9666a67edf36ee0b
tree749d5a1c95d5d6ab8565bf3a2af7880511f02de4tree | snapshot
parent9c19597c0d9181f0bd4e8c535f12fb5d46d08afccommit | 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.
gcc/doc/invoke.texi diff | blob | history
Domain: System / Toolchain;