OSDN Git Service

2008-08-22 Sergey Rybin <rybin@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 Aug 2008 12:11:03 +0000 (12:11 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 22 Aug 2008 12:11:03 +0000 (12:11 +0000)
* 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

index 9352479..204192c 100644 (file)
@@ -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})