From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x429.google.com (mail-wr1-x429.google.com [IPv6:2a00:1450:4864:20::429]) by sourceware.org (Postfix) with ESMTPS id 8835D3835413 for ; Wed, 11 May 2022 08:54:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 8835D3835413 Received: by mail-wr1-x429.google.com with SMTP id j25so935144wrc.9 for ; Wed, 11 May 2022 01:54:36 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition:content-transfer-encoding; bh=N23ZhZM43HcgXgn48QBcVzsT06THRMejpyI0mNvN5LQ=; b=rN5yc46C5P0WyHY0Ha1O9CJoLPvF4TKAvgWG+gU36mO/LSNSzFPfa9jV+ahWtJgFmi hA4oBLvonKomjGSiEOrRI0jGvyzk0/a29sMXM+hcTx2h5PUERU8P6oveW/h5In0shLW6 Y7jt8WovPEJE1P1mqDR2vWTOrl2PhuvKSBMSun3gTwUU6DcUf3LUCHtTVnj1+MwO69AW CjK+0YTsQG53u+R5bsEu7LXwMVJBe0RRNBvQ5jPPFE58bWvEQ2Uj+e7F6Dca8i44Qs0r Bqpm064PRPXTSfdEAhPhODJgkDvb5fzHnIFCKKeZXkAz/eQu9hF8ULnjh2zMuDma7fTX WguA== X-Gm-Message-State: AOAM5320xe+ft/FtIln1YN+OCHjLhEfkHryPipHGECw66GnxWCFzJTZ3 tCLnWsQTAiN7ItiAnSlG68w+h3GLJ/vY1g== X-Google-Smtp-Source: ABdhPJxcjm4qI+gvqFI0u+5jOTpNWIHZ+h5J0N5/oUrCu9uSon8JgKCvypJ6z8Wj4HPSnqulwn/scg== X-Received: by 2002:a5d:6d8b:0:b0:20c:7022:7504 with SMTP id l11-20020a5d6d8b000000b0020c70227504mr21837251wrs.183.1652259275319; Wed, 11 May 2022 01:54:35 -0700 (PDT) Received: from adacore.com ([45.147.211.82]) by smtp.gmail.com with ESMTPSA id v17-20020a05600c215100b003943558a976sm1512947wml.29.2022.05.11.01.54.34 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 11 May 2022 01:54:34 -0700 (PDT) Date: Wed, 11 May 2022 08:54:34 +0000 From: Pierre-Marie de Rodat To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [Ada] Fix formatting glitches in GNAT User's Guide Message-ID: <20220511085434.GA2166801@adacore.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="vtzGhvizbBRQ85DL" Content-Disposition: inline Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 11 May 2022 08:54:38 -0000 --vtzGhvizbBRQ85DL Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Only enhancement of formatting. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * doc/gnat_ugn/gnat_and_program_execution.rst, doc/gnat_ugn/gnat_utility_programs.rst, doc/gnat_ugn/inline_assembler.rst: Fix typos and formatting glitches. * gnat_ugn.texi: Regenerate. --vtzGhvizbBRQ85DL Content-Type: text/x-diff; charset=utf-8 Content-Disposition: attachment; filename="patch.diff" Content-Transfer-Encoding: 8bit diff --git a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst --- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst @@ -433,7 +433,7 @@ Ada Tasks .. index:: Breakpoints and tasks -* ``break``*linespec* ``task`` *taskid*, ``break`` *linespec* ``task`` *taskid* ``if`` ... +* ``break`` *linespec* ``task`` *taskid*, ``break`` *linespec* ``task`` *taskid* ``if`` ... These commands are like the ``break ... thread ...``. *linespec* specifies source lines. @@ -1306,7 +1306,7 @@ or simply: :: - $ gprof my_prog + $ gprof my_prog The complete form of the gprof command line is the following: diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst --- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst @@ -630,13 +630,13 @@ building specialized scripts. .. index:: --wide-character-encoding (gnatmetric) - :switch:`--wide-character-encoding={e}` - Specify the wide character encoding method for the input and output - files. ``e`` is one of the following: + :switch:`--wide-character-encoding={e}` + Specify the wide character encoding method for the input and output + files. ``e`` is one of the following: - * *8* - UTF-8 encoding + * *8* - UTF-8 encoding - * *b* - Brackets encoding (default value) + * *b* - Brackets encoding (default value) .. index:: Disable Metrics For Local Units in gnatmetric @@ -1161,7 +1161,7 @@ building specialized scripts. Report maximal loop nesting level - :switch:`-no-loop-nesting` + :switch:`--no-loop-nesting` Do not report maximal loop nesting level diff --git a/gcc/ada/doc/gnat_ugn/inline_assembler.rst b/gcc/ada/doc/gnat_ugn/inline_assembler.rst --- a/gcc/ada/doc/gnat_ugn/inline_assembler.rst +++ b/gcc/ada/doc/gnat_ugn/inline_assembler.rst @@ -138,7 +138,7 @@ To see this output, invoke the compiler as follows: :: - $ gcc -c -S -fomit-frame-pointer -gnatp nothing.adb + $ gcc -c -S -fomit-frame-pointer -gnatp nothing.adb where the options are: diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -18498,7 +18498,7 @@ to refer to tasks in the following commands. @itemize * @item -@code{break`@w{`}*linespec* `@w{`}task} @emph{taskid}, @code{break} @emph{linespec} @code{task} @emph{taskid} @code{if} … +@code{break} @emph{linespec} @code{task} @emph{taskid}, @code{break} @emph{linespec} @code{task} @emph{taskid} @code{if} … @quotation @@ -19517,7 +19517,7 @@ or simply: @quotation @example -$ gprof my_prog +$ gprof my_prog @end example @end quotation @@ -28015,7 +28015,7 @@ To see this output, invoke the compiler as follows: @quotation @example -$ gcc -c -S -fomit-frame-pointer -gnatp nothing.adb +$ gcc -c -S -fomit-frame-pointer -gnatp nothing.adb @end example @end quotation --vtzGhvizbBRQ85DL--