From 9855a3425d1ab9fbe26616760396997ec04628ce Mon Sep 17 00:00:00 2001 From: charlet Date: Fri, 22 Aug 2008 12:11:03 +0000 Subject: 2008-08-22 Sergey Rybin * 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 --- 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}) -- cgit v1.2.1