[PATCH] doc/options.texi: Fix the discription of 'Negative'.

[Geng Qi <gengqi@linux.alibaba.com>]

gcc/ChangeLog:
	* doc/options.texi (Negative): Fix the discription so that it matches
	the code implementation of prune_options().
---
 gcc/doc/options.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi
index 2057629..37386ca 100644
--- a/gcc/doc/options.texi
+++ b/gcc/doc/options.texi
@@ -223,8 +223,8 @@ propagate through the @code{Negative} property of the option to be
 turned off.  The driver will prune options, removing those that are
 turned off by some later option.  This pruning is not done for options
 with @code{Joined} or @code{JoinedOrMissing} properties, unless the
-options have either @code{RejectNegative} property or the @code{Negative}
-property mentions an option other than itself.
+options have both @code{RejectNegative} property and the @code{Negative}
+property mentions itself.
 
 As a consequence, if you have a group of mutually-exclusive
 options, their @code{Negative} properties should form a circular chain.
-- 
2.7.4