From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Thu, 26 Jan 2023 14:13:29 +0000 (+0100)
Subject: ada: usage.adb: document -gnatyD switch
X-Git-Tag: basepoints/gcc-15~9246
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4803e348aa63482085d535127689528e4925cccf;p=thirdparty%2Fgcc.git

ada: usage.adb: document -gnatyD switch

-gnatyD was documented in the user guide but not in `gnat --help-ada`.

gcc/ada/

	* usage.adb (Usage): Document -gnatyD.
---

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 4a2fa019013f..97cedbb9a2de 100644
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -655,6 +655,7 @@ begin
    Write_Line ("        c    check comment format (two spaces)");
    Write_Line ("        C    check comment format (one space)");
    Write_Line ("        d    check no DOS line terminators");
+   Write_Line ("        D    check declared identifiers in mixed case");
    Write_Line ("        e    check end/exit labels present");
    Write_Line ("        f    check no form feeds/vertical tabs in source");
    Write_Line ("        g    check standard GNAT style rules, same as ydISux");