From 22dbb9f274391d2e59d54f175b9e58856d8cfb5f Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 13 Sep 2017 09:37:23 +0200 Subject: [PATCH] Minor edits. From-SVN: r252056 --- gcc/ada/doc/gnat_ugn/about_this_guide.rst | 2 +- ...building_executable_programs_with_gnat.rst | 3 --- .../doc/gnat_ugn/gnat_utility_programs.rst | 24 +++++-------------- .../platform_specific_information.rst | 4 ++-- 4 files changed, 9 insertions(+), 24 deletions(-) diff --git a/gcc/ada/doc/gnat_ugn/about_this_guide.rst b/gcc/ada/doc/gnat_ugn/about_this_guide.rst index e8217298414..241e99891cc 100644 --- a/gcc/ada/doc/gnat_ugn/about_this_guide.rst +++ b/gcc/ada/doc/gnat_ugn/about_this_guide.rst @@ -144,7 +144,7 @@ the new document structure. - :ref:`The_Cross-Referencing_Tools_gnatxref_and_gnatfind` - :ref:`The_Ada_to_HTML_Converter_gnathtml` - :ref:`The_Ada-to-XML_Converter_gnat2xml` - - :ref:`The_Program_Property_Verifier_gnatcheck` + - :ref:`The_Coding_Standard_Verifier_gnatcheck` - :ref:`The_GNAT_Metrics_Tool_gnatmetric` - :ref:`The_GNAT_Pretty-Printer_gnatpp` - :ref:`The_Body_Stub_Generator_gnatstub` diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst index 0a85c7b4461..ec152f27de3 100644 --- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst @@ -7110,9 +7110,6 @@ with a correct list of object files and library references. references for the Ada part of a program. It uses the binder file generated by the ``gnatbind`` to determine this list. -Note: to invoke `gnatlink` with a project file, use the `gnat` -driver (see :ref:`The_GNAT_Driver_and_Project_Files`). - .. _Running_gnatlink: Running ``gnatlink`` diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst index 3d9d0b93d01..fe2125f13c3 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst @@ -17,7 +17,7 @@ This chapter describes a number of utility programs: * :ref:`The_Cross-Referencing_Tools_gnatxref_and_gnatfind` * :ref:`The_Ada_to_HTML_Converter_gnathtml` * :ref:`The_Ada-to-XML_Converter_gnat2xml` - * :ref:`The_Program_Property_Verifier_gnatcheck` + * :ref:`The_Coding_Standard_Verifier_gnatcheck` * :ref:`The_GNAT_Metrics_Tool_gnatmetric` * :ref:`The_GNAT_Pretty-Printer_gnatpp` * :ref:`The_Body_Stub_Generator_gnatstub` @@ -210,9 +210,6 @@ units. It gives the relationship between objects, unit names and source files. It can also be used to check the source dependencies of a unit as well as various characteristics. -Note: to invoke `gnatls` with a project file, use the `gnat` -driver (see :ref:`The_GNAT_Driver_and_Project_Files`). - .. _Running_gnatls: Running ``gnatls`` @@ -505,9 +502,6 @@ To use these tools, you must not compile your application using the (see :ref:`The_GNAT_Make_Program_gnatmake`). Otherwise, cross-referencing information will not be generated. -Note: to invoke `gnatxref` or `gnatfind` with a project file, -use the `gnat` driver (see :ref:`The_GNAT_Driver_and_Project_Files`). - .. _gnatxref_Switches: ``gnatxref`` Switches @@ -1755,7 +1749,7 @@ Alternatively, you may run the script using the following command line: .. only:: PRO or GPL - .. _The_Program_Property_Verifier_gnatcheck: + .. _The_Coding_Standard_Verifier_gnatcheck: The Coding Standard Verifier ``gnatcheck`` ========================================== @@ -1800,9 +1794,7 @@ Alternatively, you may run the script using the following command line: compiler and generates and uses the ASIS tree for the input source; thus the input must be legal Ada code, and the tool should have all the information needed to compile the input source. To provide this information, - you may specify as a tool parameter the project file the input source belongs to - (or you may call *gnatmetric* - through the *gnat* driver (see :ref:`The_GNAT_Driver_and_Project_Files`). + you may specify as a tool parameter the project file the input source belongs to. Another possibility is to specify the source search path and needed configuration files in :switch:`-cargs` section of ``gnatmetric`` call, see the description of the ``gnatmetric`` switches below. @@ -2821,9 +2813,7 @@ Alternatively, you may run the script using the following command line: compiler and generates and uses the ASIS tree for the input source; thus the input must be legal Ada code, and the tool should have all the information needed to compile the input source. To provide this information, - you may specify as a tool parameter the project file the input source belongs to - (or you may call *gnatpp* - through the *gnat* driver (see :ref:`The_GNAT_Driver_and_Project_Files`). + you may specify as a tool parameter the project file the input source belongs to. Another possibility is to specify the source search path and needed configuration files in ``-cargs`` section of ``gnatpp`` call, see the description of the ``gnatpp`` switches below. @@ -3834,9 +3824,7 @@ Alternatively, you may run the script using the following command line: compiler and generates and uses the ASIS tree for the input source; thus the input must be legal Ada code, and the tool should have all the information needed to compile the input source. To provide this information, - you may specify as a tool parameter the project file the input source belongs to - (or you may call *gnatstub* - through the *gnat* driver (see :ref:`The_GNAT_Driver_and_Project_Files`). + you may specify as a tool parameter the project file the input source belongs to. Another possibility is to specify the source search path and needed configuration files in ``-cargs`` section of ``gnatstub`` call, see the description of the ``gnatstub`` switches below. @@ -4548,7 +4536,7 @@ Alternatively, you may run the script using the following command line: ``--additional-tests`` switch. * ``Skeletons_Default`` - is used to specify the default behavior of test skeletons, otherwise + is used to specify the default behaviour of test skeletons, otherwise specified by ``--skeleton-default`` option. The value of this attribute should be either ``pass`` or ``fail``. diff --git a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst index 49c14b31149..9b54803aeec 100644 --- a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst +++ b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst @@ -104,9 +104,9 @@ their thread support. The default run-time library (when GNAT is installed) is *rts-native*. This default run-time is selected by the means of soft links. -For example on x86-linux:: +For example on x86-linux: - -- +.. -- -- $(target-dir) -- | -- +--- adainclude----------+ -- 2.30.2