From: Andrew Pinski <apinski@marvell.com>
Date: Mon, 14 Nov 2022 15:21:36 +0000 (+0000)
Subject: Fix @opindex for m80387
X-Git-Tag: basepoints/gcc-14~3187
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=30348d30d9567c46046f30bb9666a67edf36ee0b;p=thirdparty%2Fgcc.git

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.
---

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 80365d8cd15b..0d28c5f78ff4 100644
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -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.