[Ada] Remove documentation of ignored GNATpp switch
authorBob Duff <duff@adacore.com>
Mon, 8 Jul 2019 08:14:41 +0000 (08:14 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 8 Jul 2019 08:14:41 +0000 (08:14 +0000)
2019-07-08  Bob Duff  <duff@adacore.com>

gcc/ada/

* doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
of ignored GNATpp switch.

From-SVN: r273221

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

index badbe8f1a1b9cc7f6efa24869c4d6fab863d53ce..7641688ec7d61601c663c1f5581f23b29b74bc9e 100644 (file)
@@ -1,3 +1,8 @@
+2019-07-08  Bob Duff  <duff@adacore.com>
+
+       * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
+       of ignored GNATpp switch.
+
 2019-07-08  Hristian Kirtchev  <kirtchev@adacore.com>
 
        * doc/gnat_rm/implementation_defined_pragmas.rst:
index b6a1d189f8b4074f3cfdf42c5ccceb61b6579265..e20ea6362b31df645afeaef4af8851eb22718644 100644 (file)
@@ -3337,12 +3337,6 @@ Alternatively, you may run the script using the following command line:
      '(' and ':'. This also turns off alignment.
 
 
-   .. index:: --ff-after-pragma-page (gnatpp)
-
-   :switch:`--ff-after-pragma-page`
-     Insert a Form Feed character after a pragma Page.
-
-
    .. index:: --call_threshold (gnatpp)
 
    :switch:`--call_threshold={nnn}`
@@ -4123,11 +4117,6 @@ Alternatively, you may run the script using the following command line:
    :switch:`-cl{nnn}`
      :switch:`--indent-continuation={nnn}`
 
-   .. index:: -ff (gnatpp)
-
-   :switch:`-ff`
-     :switch:`--ff-after-pragma-page`
-
    .. index:: -pipe (gnatpp)
 
    :switch:`-pipe`