From f934798c1c97999b8c6ac33469ebd06b60a6a7a5 Mon Sep 17 00:00:00 2001 From: Sergey Rybin Date: Fri, 22 Aug 2008 14:11:03 +0200 Subject: [PATCH] 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 --- gcc/ada/gnat_ugn.texi | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) 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}) -- 2.30.2