diff options
author | Sergey Rybin <rybin@adacore.com> | 2008-08-22 14:11:03 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 14:11:03 +0200 |
commit | f934798c1c97999b8c6ac33469ebd06b60a6a7a5 (patch) | |
tree | 67884d74ca8671e9dd7d6d77a783eb22746800b0 /gcc | |
parent | 7ca139d3886e36e94981d4d1d3aed06b2a8bdc56 (diff) | |
download | gcc-f934798c1c97999b8c6ac33469ebd06b60a6a7a5.zip gcc-f934798c1c97999b8c6ac33469ebd06b60a6a7a5.tar.gz gcc-f934798c1c97999b8c6ac33469ebd06b60a6a7a5.tar.bz2 |
gnat_ugn.texi: Change the description of gnatcheck default rule settings.
2008-08-22 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Change the description of gnatcheck default rule
settings.
From-SVN: r139440
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/gnat_ugn.texi | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 9352479..204192c 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}) |