[Ada] Minor layout fix in documentation sources
authorVasiliy Fofanov <fofanov@adacore.com>
Thu, 11 Jan 2018 08:51:56 +0000 (08:51 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 11 Jan 2018 08:51:56 +0000 (08:51 +0000)
2018-01-11  Vasiliy Fofanov  <fofanov@adacore.com>

gcc/ada/

* doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.

From-SVN: r256497

gcc/ada/ChangeLog
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst

index 4d186b21b40d2306d9b4f876fbf252ca108809f3..34f13b975ae9e900b7f6005765165366a5978e49 100644 (file)
@@ -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,
index 912356a5b4ed7e6dedb5d3120299cc1e2036f90a..95a35f3e03c8c1e1de859cd2d5d04a51dd32aac8 100644 (file)
@@ -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)