From 151af7d208dbfd34df6d8e28aab78175f49bcce9 Mon Sep 17 00:00:00 2001 From: Vasiliy Fofanov Date: Thu, 11 Jan 2018 08:51:56 +0000 Subject: [PATCH] [Ada] Minor layout fix in documentation sources 2018-01-11 Vasiliy Fofanov gcc/ada/ * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. From-SVN: r256497 --- gcc/ada/ChangeLog | 4 ++++ 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 4d186b21b40..34f13b975ae 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-01-11 Vasiliy Fofanov + + * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. + 2018-01-11 Hristian Kirtchev * 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 912356a5b4e..95a35f3e03c 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) -- 2.30.2