diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 12:11:03 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 12:11:03 +0000 |
| commit | 9855a3425d1ab9fbe26616760396997ec04628ce (patch) | |
| tree | 67884d74ca8671e9dd7d6d77a783eb22746800b0 /gcc | |
| parent | b9b41b8e210846763630bc79a9fd71ab3adb04d2 (diff) | |
| download | ppe42-gcc-9855a3425d1ab9fbe26616760396997ec04628ce.tar.gz ppe42-gcc-9855a3425d1ab9fbe26616760396997ec04628ce.zip | |
2008-08-22 Sergey Rybin <rybin@adacore.com>
* 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
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 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}) |
