OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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
This commit is contained in:
Sergey Rybin 2008-08-22 14:11:03 +02:00 committed by Arnaud Charlet
parent 7ca139d388
commit f934798c1c
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/gnat_ugn.texi
View 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})