diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2022-10-27 09:27:52 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-14 14:46:48 +0100 |
| commit | c9d317bcd676256a4d982fa335f15a9fc7e39ade (patch) | |
| tree | 38991363be61dca3681e443c98dd3cd03b8cb2da /gcc | |
| parent | cf716ab562c1e0549e0632b1c92059932f8b899a (diff) | |
| download | gcc-c9d317bcd676256a4d982fa335f15a9fc7e39ade.zip gcc-c9d317bcd676256a4d982fa335f15a9fc7e39ade.tar.gz gcc-c9d317bcd676256a4d982fa335f15a9fc7e39ade.tar.bz2 | |
ada: Remove gnatcheck reference
Since gnatcheck is no longer bundled with gnat
gcc/ada/
* doc/gnat_ugn/gnat_utility_programs.rst: Remove gnatcheck
reference.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst index 92877a2..17d3e0d 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst @@ -14,7 +14,6 @@ This chapter describes a number of utility programs: * :ref:`The_File_Cleanup_Utility_gnatclean` * :ref:`The_GNAT_Library_Browser_gnatls` - * :ref:`The_Coding_Standard_Verifier_gnatcheck` * :ref:`The_GNAT_Pretty_Printer_gnatpp` * :ref:`The_Body_Stub_Generator_gnatstub` * :ref:`The_Backtrace_Symbolizer_gnatsymbolize` @@ -467,27 +466,6 @@ building specialized scripts. .. only:: PRO or GPL - .. _The_Coding_Standard_Verifier_gnatcheck: - - The Coding Standard Verifier ``gnatcheck`` - ========================================== - - .. index:: ! gnatcheck - .. index:: ASIS - - The ``gnatcheck`` tool is an ASIS-based utility that checks coding standard - compliance of Ada source files according to a given set of semantic rules. - - ``gnatcheck`` is a project-aware tool - (see :ref:`Using_Project_Files_with_GNAT_Tools` for a description of - the project-related switches). The project file package that can specify - ``gnatcheck`` switches is named ``Check``. - - For full details, plese refer to :title:`GNATcheck Reference Manual`. - - -.. only:: PRO or GPL - .. _The_GNAT_Pretty_Printer_gnatpp: The GNAT Pretty Printer ``gnatpp`` |