diff options
| author | Bob Duff <duff@adacore.com> | 2019-07-08 08:14:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-08 08:14:41 +0000 |
| commit | b723426575b8a948947cd8b2403c4949edc92dfc (patch) | |
| tree | b2a7f7ee74708c84552ec9ff4d94d1e38bb226c4 | |
| parent | 156187ef87ef07d5004954785f4c0127e64d1a21 (diff) | |
| download | gcc-b723426575b8a948947cd8b2403c4949edc92dfc.zip gcc-b723426575b8a948947cd8b2403c4949edc92dfc.tar.gz gcc-b723426575b8a948947cd8b2403c4949edc92dfc.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | 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 badbe8f..7641688 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 b6a1d18..e20ea63 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` |