* gnat_ugn.texi: Change the description of gnatcheck default rule
settings.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139440
138bc75d-0d04-0410-961f-
82ee72b054a4
@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})