]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
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)
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

index 80365d8cd15b45c55dae17e1805f5255b7a09206..0d28c5f78ff4f757570e057df289f7616dac2309 100644 (file)
@@ -32634,7 +32634,7 @@ comparison is unordered.
 
 @item -m80387
 @itemx -mhard-float
-@opindex 80387
+@opindex m80387
 @opindex mhard-float
 Generate output containing 80387 instructions for floating point.