Message ID | 20240521073035.314024-7-poulhies@adacore.com |
---|---|
State | Committed |
Commit | b0a97d4e223b9ab22f35b7a6008257596f78418b |
Headers |
Return-Path: <gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org> X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id A7DF8385E83A for <patchwork@sourceware.org>; Tue, 21 May 2024 07:31:52 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wm1-x32e.google.com (mail-wm1-x32e.google.com [IPv6:2a00:1450:4864:20::32e]) by sourceware.org (Postfix) with ESMTPS id 3FF383858D39 for <gcc-patches@gcc.gnu.org>; Tue, 21 May 2024 07:30:54 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3FF383858D39 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 3FF383858D39 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::32e ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716276658; cv=none; b=UFYlUCB9LmkDXRawvNYfL24ZKgj6xWFGJXnVIVy134uo1aqjalJ005kxwyC589hQTQzhiAe6B2BwvrorKLERB/EXgvCwDjQ3F1OH1pZhR28hVZRIoWywRM9kwH2i8bVpzXKftMBCaNeKy5UFooeS57jASmXxHq9e1LO88l4GQsA= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716276658; c=relaxed/simple; bh=bINDhsjuoyFMaSugsYPQoPBm8lClIJGV9dUPnceZer8=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=n+y5M+C9h5O8J7E0xf3TlTn+1TUix0ZXMcKBJl75cz7Pr7ar4prMn2uHuWGkV2hmkww1vgmd1NvKUZ58vpad+35b6JVIkRRFASPVtOwSic1Xsdo5SY2t/gy8/CneRlgirFp/oIWx0h1Tjy7J6TG8O2AMhxYvod31gsX1y9GruQA= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x32e.google.com with SMTP id 5b1f17b1804b1-4202959b060so27423345e9.2 for <gcc-patches@gcc.gnu.org>; Tue, 21 May 2024 00:30:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1716276653; x=1716881453; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=1YX5i28A+MN8pGN6LUWjcSTCziCmWZ+GVha0OEuOjXw=; b=lqA+cgBlRgpPxUQnuKN5+IbdVgDHfTDq93+kZkV9eQpEiJpYBt4ebzAQCMZBprFHc1 jdwEgVPjMYaKSHiTYmCQBHNA1LywkX14FisBfs8bpaYRRw2EYApts5JIxOWgMZFt7t9P QbzhJQS1z/pE2mRLJou2FBLq3sc9iO/Ey/RLf+uD3fwlLNJhUIcBsXA/EK4YA7pdDK93 hIx9M+Im1kyYLvFpI9L180gxer4CW9rDoYa3eL8tUn/X3PCFt0eWMe1lAdTLbknB8zH9 JsO7nFVC0zg9C2+2go2SJHPkliSRo16H2JUWespzXTA//Kdsm3JQVmvrwfMPU3Jt+mFY PyMg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1716276653; x=1716881453; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=1YX5i28A+MN8pGN6LUWjcSTCziCmWZ+GVha0OEuOjXw=; b=t4HRobZJZLgdVo7918wNxuxD5FWltFRRqRkms9z/ibU71RsXVa1dpxQbq/GIXEqwcq bOa7gOWriCuHGHN/Pou1+mMhgTy5mZuxmsVbL0Sz9Bl50ZBG3K5QAsAKk9HchJFtbdQ/ FeXCVUBShWhCYSFC7w8XB0bD4dYdfsc9mPQov5bLWS7lw6r9hVxJgaOcUDvKEMa9tCIC BeHHB4quq4nC41enK0MExF3WwsXrolfEUR3em4ypGikn2qSxyE5+HEDfoLP9wwJGZppu ovPmD7oYlJMhQjZy2m1Ve0aDm78B00Dis1pqGGNLonzYXxbYwR5Uz+EfvS7UzeHItRp5 R4fg== X-Gm-Message-State: AOJu0Yxp8osZHumYQowD0ajah69Il+TgcuXuciWxuKe/fvGFYbfe9owb xUJ36Wdkfore+szcYYbtWTfxxkQRVt4NCcsaldnTGhD4ij0vid+1WkqXUzsf0dlN+rKDWeoNmAI = X-Google-Smtp-Source: AGHT+IG+UmVg8w59reDQnOmFK3YIV1A3G8Z2ZIgpGOuoxitxWqaPP9OqG88sZ2ihkkfozigMNW9zpQ== X-Received: by 2002:a05:600c:45cc:b0:41f:f592:2fa3 with SMTP id 5b1f17b1804b1-41ff5922fb3mr207225535e9.11.1716276653119; Tue, 21 May 2024 00:30:53 -0700 (PDT) Received: from localhost.localdomain ([2001:861:3382:1a90:de37:8b1c:1f33:2610]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-41fccee9292sm453333645e9.37.2024.05.21.00.30.52 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 May 2024 00:30:52 -0700 (PDT) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com> To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek <trojanek@adacore.com> Subject: [COMMITTED 07/31] ada: Fix index entry for an implemented AI feature Date: Tue, 21 May 2024 09:30:10 +0200 Message-ID: <20240521073035.314024-7-poulhies@adacore.com> X-Mailer: git-send-email 2.43.2 In-Reply-To: <20240521073035.314024-1-poulhies@adacore.com> References: <20240521073035.314024-1-poulhies@adacore.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.8 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 autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org> List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe> List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/> List-Post: <mailto:gcc-patches@gcc.gnu.org> List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help> List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe> Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org |
Series |
[COMMITTED,01/31] ada: Add new Mingw task priority mapping
|
|
Commit Message
Marc Poulhiès
May 21, 2024, 7:30 a.m. UTC
From: Piotr Trojanek <trojanek@adacore.com>
Fix inconsistent reference with "05" in the name of AI.
gcc/ada/
* doc/gnat_rm/implementation_of_ada_2012_features.rst
(AI-0216): Fix index reference.
* gnat_rm.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst | 2 +-
gcc/ada/gnat_rm.texi | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst b/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst index 2825362c616..d7f1fea01f3 100644 --- a/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst +++ b/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst @@ -1243,7 +1243,7 @@ Supported Aspect Source RM References: B.01 (17) B.03 (62) B.03 (71.1/2) -.. index:: AI05-0216 (Ada 2012 feature) +.. index:: AI-0216 (Ada 2012 feature) * *AI-0216 No_Task_Hierarchy forbids local tasks (0000-00-00)* diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 4ff1de42db2..0d38b1a4bc6 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -28603,7 +28603,7 @@ non-portable. RM References: B.01 (17) B.03 (62) B.03 (71.1/2) @end itemize -@geindex AI05-0216 (Ada 2012 feature) +@geindex AI-0216 (Ada 2012 feature) @itemize *