From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7871) id E43263858D20; Mon, 14 Nov 2022 13:51:02 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E43263858D20 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668433862; bh=LTVl9Z0XiUd1ywFY33SFLolmPCAKL7TmIM0iacdtI1E=; h=From:To:Subject:Date:From; b=LAb+9hAxlogDHMtjp3U9FTh4ena91HqOBwJVoxJml2orUhwNeYjhf7lkDKEqun4HH ZdopcjgYR5U1hlhVPaM6F4Fr2bnC7KpI7TRTlqS+AqElM+YV8oQ9SIaneKJy5hMKXC C4USTr6I5stSaqoCiBRgQsLUFq/Xvei/tqzxA58Y= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Marc Poulhi?s To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-4005] ada: Remove gnatcheck reference X-Act-Checkin: gcc X-Git-Author: Arnaud Charlet X-Git-Refname: refs/heads/master X-Git-Oldrev: cf716ab562c1e0549e0632b1c92059932f8b899a X-Git-Newrev: c9d317bcd676256a4d982fa335f15a9fc7e39ade Message-Id: <20221114135102.E43263858D20@sourceware.org> Date: Mon, 14 Nov 2022 13:51:02 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c9d317bcd676256a4d982fa335f15a9fc7e39ade commit r13-4005-gc9d317bcd676256a4d982fa335f15a9fc7e39ade Author: Arnaud Charlet Date: Thu Oct 27 09:27:52 2022 +0000 ada: Remove gnatcheck reference Since gnatcheck is no longer bundled with gnat gcc/ada/ * doc/gnat_ugn/gnat_utility_programs.rst: Remove gnatcheck reference. Diff: --- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 22 ---------------------- 1 file changed, 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 92877a2d172..17d3e0d0cca 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` @@ -465,27 +464,6 @@ building specialized scripts. /home/comar/local/adainclude/unchconv.ads -.. 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: