[gcc r12-533] [Ada] Add mention of underscore and fix grammar error in doc for -gnatd

[gcc r12-533] [Ada] Add mention of underscore and fix grammar error in doc for -gnatd

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:0c1f6ae39d7b9c38da809c0a33cf27dcd36f6381

commit r12-533-g0c1f6ae39d7b9c38da809c0a33cf27dcd36f6381
Author: Gary Dismukes <dismukes@adacore.com>
Date:   Fri Jan 15 14:45:42 2021 -0500

    [Ada] Add mention of underscore and fix grammar error in doc for -gnatd
    
    gcc/ada/
    
            * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
            mention of underscore and fix grammar error in doc for -gnatd.
            * gnat_ugn.texi: Regenerate.

Diff:
---
 gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 6 +++---
 gcc/ada/gnat_ugn.texi                                           | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
index 91fae31c4e8..fb8a3ff97e8 100644
--- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
+++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
@@ -1463,9 +1463,9 @@ Alphabetical List of All Switches
 
 :switch:`-gnatd`
   Specify debug options for the compiler. The string of characters after
-  the :switch:`-gnatd` specify the specific debug options. The possible
-  characters are 0-9, a-z, A-Z, optionally preceded by a dot. See
-  compiler source file :file:`debug.adb` for details of the implemented
+  the :switch:`-gnatd` specifies the specific debug options. The possible
+  characters are 0-9, a-z, A-Z, optionally preceded by a dot or underscore.
+  See compiler source file :file:`debug.adb` for details of the implemented
   debug options. Certain debug options are relevant to applications
   programmers, and these are documented at appropriate points in this
   users guide.
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 559231415d4..637f061156f 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -8911,9 +8911,9 @@ as -gnatn, and enable others such as -gnata).
 @item @code{-gnatd}
 
 Specify debug options for the compiler. The string of characters after
-the @code{-gnatd} specify the specific debug options. The possible
-characters are 0-9, a-z, A-Z, optionally preceded by a dot. See
-compiler source file @code{debug.adb} for details of the implemented
+the @code{-gnatd} specifies the specific debug options. The possible
+characters are 0-9, a-z, A-Z, optionally preceded by a dot or underscore.
+See compiler source file @code{debug.adb} for details of the implemented
 debug options. Certain debug options are relevant to applications
 programmers, and these are documented at appropriate points in this
 users guide.