diff options
| author | Vasiliy Fofanov <fofanov@adacore.com> | 2018-01-11 08:51:56 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-01-11 08:51:56 +0000 |
| commit | 151af7d208dbfd34df6d8e28aab78175f49bcce9 (patch) | |
| tree | c6444343c145798b7034ef71ba916bb876623ab7 | |
| parent | 10fdda1c5be8ba024208a8cdb8a16f9de09b3664 (diff) | |
| download | gcc-151af7d208dbfd34df6d8e28aab78175f49bcce9.zip gcc-151af7d208dbfd34df6d8e28aab78175f49bcce9.tar.gz gcc-151af7d208dbfd34df6d8e28aab78175f49bcce9.tar.bz2 | |
[Ada] Minor layout fix in documentation sources
2018-01-11 Vasiliy Fofanov <fofanov@adacore.com>
gcc/ada/
* doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
From-SVN: r256497
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 15 |
2 files changed, 10 insertions, 9 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4d186b2..34f13b9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-01-11 Vasiliy Fofanov <fofanov@adacore.com> + + * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. + 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb, diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst index 912356a..95a35f3 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst @@ -1401,9 +1401,8 @@ Alternatively, you may run the script using the following command line: Several such switches may be specified simultaneously. :switch:`--ignore={filename}` - Do not process the sources listed in a specified file. This option cannot - be used in incremental mode. - + Do not process the sources listed in a specified file. This option cannot + be used in incremental mode. :switch:`-q` Quiet @@ -2763,7 +2762,6 @@ Alternatively, you may run the script using the following command line: :switch:`--ignore={filename}` Do not process the sources listed in a specified file. - .. index:: -j (gnatmetric) :switch:`-j{n}` @@ -3477,12 +3475,11 @@ Alternatively, you may run the script using the following command line: Several such switches may be specified simultaneously. - .. index:: --ignore (gnatpp) - - :switch:`--ignore={filename}` - Do not process the sources listed in a specified file. This option cannot - be used in incremental mode. + .. index:: --ignore (gnatpp) + :switch:`--ignore={filename}` + Do not process the sources listed in a specified file. This option cannot + be used in incremental mode. .. index:: -j (gnatpp) |