[Ada] Various User Manual updates for GNATpp
authorBob Duff <duff@adacore.com>
Tue, 9 Oct 2018 15:05:14 +0000 (15:05 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Oct 2018 15:05:14 +0000 (15:05 +0000)
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

gcc/ada/ChangeLog
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst

index d6535fde41f1614574faf8df7fb42013f8ef9b85..624d4bf3c0b00b6331120b5438c71ebadf5d081b 100644 (file)
@@ -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
index b6f50b3cc0168141449bd4abcc5eddb31a14a859..f43bacfd5e1e15c2ceccb92badf4897a77971721 100644 (file)
@@ -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)