[Ada] Fix capitalization and parenthesis glitches in GNAT RM

2019-07-04  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst: Fix
	capitalization and parenthesis glitches.
	* gnat_rm.texi: Regenerate.

From-SVN: r273068

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index be3241e09f4a5739dc44dc44a272318b4fcbd595..602bef5d031462922354a94bc49cc9ded9e9c196 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-07-04  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Fix
+       capitalization and parenthesis glitches.
+       * gnat_rm.texi: Regenerate.
+
 2019-07-04  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_ch10.adb (Remove_Context_Clauses): Handle properly the

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index 955a1376cab2175f819d6627b6fcd73bb0e754f2..c2e4a4e9d581313f229cba9c4d6954f562d61df5 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -7312,11 +7312,10 @@ methods can be used to enable validity checking for mode ``in`` and
 
 
 The form ALL_CHECKS activates all standard checks (its use is equivalent
-to the use of the :switch:`gnatva` switch.
+to the use of the :switch:`gnatVa` switch).
 
-The forms with ``Off`` and ``On``
-can be used to temporarily disable validity checks
-as shown in the following example:
+The forms with ``Off`` and ``On`` can be used to temporarily disable
+validity checks as shown in the following example:
 
 
 .. code-block:: ada

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 39a24abbd98ccdd0d8d39d57ddd548ce128353cd..268ae30bb01f98670ce256a0451333a64384ce65 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -8779,11 +8779,10 @@ $ gcc -c -gnatVim ...
 @end itemize
 
 The form ALL_CHECKS activates all standard checks (its use is equivalent
-to the use of the @code{gnatva} switch.
+to the use of the @code{gnatVa} switch).
 
-The forms with @code{Off} and @code{On}
-can be used to temporarily disable validity checks
-as shown in the following example:
+The forms with @code{Off} and @code{On} can be used to temporarily disable
+validity checks as shown in the following example:
 
 @example
 pragma Validity_Checks ("c"); -- validity checks for copies