From 0c1f6ae39d7b9c38da809c0a33cf27dcd36f6381 Mon Sep 17 00:00:00 2001 From: Gary Dismukes Date: Fri, 15 Jan 2021 14:45:42 -0500 Subject: [PATCH] [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. --- .../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 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. -- 2.47.2