2008-08-22 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Change the description of gnatcheck default rule
settings.
From-SVN: r139440
@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})