From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1314) id AF4763858005; Mon, 14 Nov 2022 15:26:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AF4763858005 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668439572; bh=pE6BQc1YSm3cTZiFTeX4P8uA76NgWtnSctMngSsNsho=; h=From:To:Subject:Date:From; b=meZeFtOlf6RhFi+YvnJhjq7rlRIUTBDZlEFl6rwSQ3KF2L9y3xT8mAGmIBO6DhKu4 +ADzF6B8NHbKfvdNpiSmKcVTPvl3uO9s0L1/KGVKl7QDzEPtieinnFUeozXLJ8tRYl ULQsRfq9Y+wOv+j5ZmgYmmR8kqyfjqWui+QcEOoo= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Andrew Pinski To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-4020] Fix @opindex for m80387 X-Act-Checkin: gcc X-Git-Author: Andrew Pinski X-Git-Refname: refs/heads/trunk X-Git-Oldrev: 9c19597c0d9181f0bd4e8c535f12fb5d46d08afc X-Git-Newrev: 30348d30d9567c46046f30bb9666a67edf36ee0b Message-Id: <20221114152612.AF4763858005@sourceware.org> Date: Mon, 14 Nov 2022 15:26:12 +0000 (GMT) List-Id: https://gcc.gnu.org/g:30348d30d9567c46046f30bb9666a67edf36ee0b commit r13-4020-g30348d30d9567c46046f30bb9666a67edf36ee0b Author: Andrew Pinski Date: Mon Nov 14 15:21:36 2022 +0000 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: --- gcc/doc/invoke.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 80365d8cd15..0d28c5f78ff 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.