From: Gary Dismukes <dismukes@adacore.com>
Date: Fri, 15 Jan 2021 19:45:42 +0000 (-0500)
Subject: [Ada] Add mention of underscore and fix grammar error in doc for -gnatd
X-Git-Tag: basepoints/gcc-13~7780
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0c1f6ae39d7b9c38da809c0a33cf27dcd36f6381;p=thirdparty%2Fgcc.git

[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 --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 91fae31c4e89..fb8a3ff97e81 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 559231415d49..637f061156fb 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.