From: Bob Duff <duff@adacore.com>
Date: Tue, 9 Oct 2018 15:05:14 +0000 (+0000)
Subject: [Ada] Various User Manual updates for GNATpp
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98ebcae86173fe15b568324b37cab4695674749c;p=gcc.git

[Ada] Various User Manual updates for GNATpp

2018-10-09  Bob Duff  <duff@adacore.com>

gcc/ada/

	* doc/gnat_ugn/gnat_utility_programs.rst: Correct spelling of
	--eol switch.  Document the language-version switches.  Update
	description for --no-exception.

From-SVN: r264964
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d6535fde41f..624d4bf3c0b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2018-10-09  Bob Duff  <duff@adacore.com>
+
+	* doc/gnat_ugn/gnat_utility_programs.rst: Correct spelling of
+	--eol switch.  Document the language-version switches.  Update
+	description for --no-exception.
+
 2018-10-09  Vasiliy Fofanov  <fofanov@adacore.com>
 
 	* libgnat/s-os_lib.ads (Normalize_Pathname): Fix incorrect
diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
index b6f50b3cc01..f43bacfd5e1 100644
--- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
+++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
@@ -3418,9 +3418,9 @@ Alternatively, you may run the script using the following command line:
      already exists, it is overwritten.
 
 
-   .. index:: --end-of-line (gnatpp)
+   .. index:: --eol (gnatpp)
 
-   :switch:`--end-of-line={xxx}`
+   :switch:`--eol={xxx}`
      Specifies the line-ending style of the reformatted output file. The
      ``xxx`` string specified with the switch may be:
 
@@ -3442,7 +3442,7 @@ Alternatively, you may run the script using the following command line:
    Options ``--output-file`` and ``--output-force`` are allowed only if
    the call to gnatpp contains only one file to reformat.
 
-   Option ``--end-of-line`` and ``--wide-character-encoding`` cannot be used together
+   Option ``--eol`` and ``--wide-character-encoding`` cannot be used together
    with the ``--pipe`` option.
 
 
@@ -3572,6 +3572,30 @@ Alternatively, you may run the script using the following command line:
    all the immediate units of the argument project.
 
 
+   .. index:: --gnat83 (gnatpp)
+
+   :switch:`--gnat83`
+     Ada 83 mode
+
+
+   .. index:: --gnat95 (gnatpp)
+
+   :switch:`--gnat95`
+     Ada 95 mode
+
+
+   .. index:: --gnat2005 (gnatpp)
+
+   :switch:`--gnat2005`
+     Ada 2005 mode
+
+
+   .. index:: --gnat2012 (gnatpp)
+
+   :switch:`--gnat2012`
+     Ada 2012 mode
+
+
    .. _Formatting_Rules:
 
    Formatting Rules
@@ -4018,9 +4042,6 @@ Alternatively, you may run the script using the following command line:
 
    .. index:: --eol (gnatpp)
 
-   :switch:`--eol={xxx}`
-     :switch:`--end-of-line={xxx}`
-
    .. index:: -W (gnatpp)
 
    :switch:`-W{e}`
@@ -4277,8 +4298,8 @@ Alternatively, you may run the script using the following command line:
   .. index:: --no-exception (gnatstub)
 
   :switch:`--no-exception`
-    Avoid raising PROGRAM_ERROR in the generated bodies of program unit stubs.
-    This is not always possible for function stubs.
+    Avoid raising Program_Error in the generated bodies of program unit stubs,
+    except in the case of functions, where we have no value to return.
 
 
   .. index:: --no-local-header (gnatstub)