]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
gnat_ugn.texi: Change the description of gnatcheck default rule settings.
authorSergey Rybin <rybin@adacore.com>
Fri, 22 Aug 2008 12:11:03 +0000 (14:11 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 22 Aug 2008 12:11:03 +0000 (14:11 +0200)
2008-08-22  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Change the description of gnatcheck default rule
settings.

From-SVN: r139440

gcc/ada/gnat_ugn.texi

index 935247998a15b4490492d0beba7205708fc0e13c..204192c1223a88373f4ba46d13c16bf7dfdf4f4c 100644 (file)
@@ -20402,12 +20402,7 @@ Read the rule options from the text file @var{rule_option_filename}, referred as
 @end table
 
 @noindent
-The default behavior is that all the rule checks are enabled, except for
-the checks performed by the compiler.
-@ignore
-and the checks associated with the
-global rules.
-@end ignore
+The default behavior is that all the rule checks are disabled.
 
 A rule file is a text file containing a set of rule options.
 @cindex Rule file (for @code{gnatcheck})