From: Jason Merrill <jason@gcc.gnu.org>
Date: Thu, 8 Nov 2018 18:57:53 +0000 (-0500)
Subject: * doc/invoke.texi: Fix build.
X-Git-Tag: basepoints/gcc-10~3217
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae328840503711f56c109fc0fb43c3a16323f4d6;p=thirdparty%2Fgcc.git

* doc/invoke.texi: Fix build.

From-SVN: r265933
---

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 24136eb5cc74..4ff3a1505af5 100644
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -14115,7 +14115,7 @@ information on callsites that were inlined, along with callsites
 that were not inlined.
 
 By default, the dump will contain messages about successful
-optimizations (equivalent to @option {-optimized}) together with
+optimizations (equivalent to @option{-optimized}) together with
 low-level details about the analysis.
 
 @item -fdump-lang-all