From b723426575b8a948947cd8b2403c4949edc92dfc Mon Sep 17 00:00:00 2001 From: Bob Duff Date: Mon, 8 Jul 2019 08:14:41 +0000 Subject: [PATCH] [Ada] Remove documentation of ignored GNATpp switch 2019-07-08 Bob Duff gcc/ada/ * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation of ignored GNATpp switch. From-SVN: r273221 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 11 ----------- 2 files changed, 5 insertions(+), 11 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index badbe8f1a1b..7641688ec7d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-07-08 Bob Duff + + * doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation + of ignored GNATpp switch. + 2019-07-08 Hristian Kirtchev * 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 b6a1d189f8b..e20ea6362b3 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` -- 2.30.2