diff options
author | Bob Duff <duff@adacore.com> | 2019-07-10 09:02:22 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:02:22 +0000 |
commit | 710e024086a51a1567fa39c7c95bbe5554d4c1fd (patch) | |
tree | 13fea7ff1566fcab41a3efb817be210bc40d4317 | |
parent | 764ffff09accf270243f43d0a8ad1e34d9883eec (diff) | |
download | gcc-710e024086a51a1567fa39c7c95bbe5554d4c1fd.zip gcc-710e024086a51a1567fa39c7c95bbe5554d4c1fd.tar.gz gcc-710e024086a51a1567fa39c7c95bbe5554d4c1fd.tar.bz2 |
[Ada] GNATpp: document the --source-line-breaks switch
2019-07-10 Bob Duff <duff@adacore.com>
gcc/ada/
* doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's
--source-line-breaks switch.
From-SVN: r273345
-rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 8 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9e9e19d..d7b265c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-07-10 Bob Duff <duff@adacore.com> + + * doc/gnat_ugn/gnat_utility_programs.rst: Document gnatpp's + --source-line-breaks switch. + 2019-07-10 Justin Squirek <squirek@adacore.com> * doc/gnat_rm/implementation_defined_attributes.rst: Add mention diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst index e20ea63..516c57c 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst @@ -3248,6 +3248,14 @@ Alternatively, you may run the script using the following command line: :switch:`--preserve-line-breaks` Preserve line breaks in the input, to the extent possible. + By default, line breaks are also inserted at appropriate + places. + + .. index:: --source-line-breaks (gnatpp) + + :switch:`--source-line-breaks` + Keep the line breaks from the source; do not insert or delete any + line breaks. The ``--comments`` switches are compatible with one another, except that the ``--comments-unchanged`` switch disables all other comment |