doc/options.texi: Fix the description of 'Negative'.

gcc/ChangeLog:
	* doc/options.texi (Negative): Change either or to both and.

diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi
index 2057629ebed2fbc5feea49032566fc78e4a35a14..ce5e2e465f58e79e48745af524e64466ba5cd236 100644 (file)
--- 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 the @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.