]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Fix documentation of -gnatw.K switch (activates => disables)
authorGary Dismukes <dismukes@adacore.com>
Thu, 19 Nov 2020 20:18:39 +0000 (15:18 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 14 Dec 2020 15:51:52 +0000 (10:51 -0500)
gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Correct documentation of the -gnatw.K switch to say that it
disables rather than activates the warning.
* gnat_ugn.texi: Regenerate.

gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
gcc/ada/gnat_ugn.texi

index 9c62d6e4a918c94be488fbdbdec4694dd47b2b82..82e992a5041440d49a3f8d21f4dd2ace53b60ce3 100644 (file)
@@ -3344,7 +3344,7 @@ of the pragma in the :title:`GNAT_Reference_manual`).
 :switch:`-gnatw.K`
   *Suppress warnings on redefinition of names in standard.*
 
-  This switch activates warnings for declarations that declare a name that
+  This switch disables warnings for declarations that declare a name that
   is defined in package Standard.
 
 
index 14e92715ae20837b181dbb496e052e11030dd820..65326ba840460d2f998d8110489810f18a54e07b 100644 (file)
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT User's Guide for Native Platforms , Nov 20, 2020
+GNAT User's Guide for Native Platforms , Dec 11, 2020
 
 AdaCore
 
@@ -11507,7 +11507,7 @@ not included in this check.
 
 @emph{Suppress warnings on redefinition of names in standard.}
 
-This switch activates warnings for declarations that declare a name that
+This switch disables warnings for declarations that declare a name that
 is defined in package Standard.
 @end table