[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

gcc/ada/ChangeLog

+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

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)