From: Bob Duff <duff@adacore.com>
Date: Mon, 8 Jul 2019 08:14:41 +0000 (+0000)
Subject: [Ada] Remove documentation of ignored GNATpp switch
X-Git-Tag: misc/cutover-git~4189
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b723426575b8a948947cd8b2403c4949edc92dfc;p=thirdparty%2Fgcc.git

[Ada] Remove documentation of ignored GNATpp switch

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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index badbe8f1a1b9..7641688ec7d6 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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:
diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
index b6a1d189f8b4..e20ea6362b31 100644
--- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
+++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst
@@ -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`