From: Sergey Rybin Date: Fri, 22 Aug 2008 12:11:03 +0000 (+0200) Subject: gnat_ugn.texi: Change the description of gnatcheck default rule settings. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f934798c1c97999b8c6ac33469ebd06b60a6a7a5;p=gcc.git gnat_ugn.texi: Change the description of gnatcheck default rule settings. 2008-08-22 Sergey Rybin * gnat_ugn.texi: Change the description of gnatcheck default rule settings. From-SVN: r139440 --- diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 935247998a1..204192c1223 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -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})