From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id H7WANaaEFWFddQAAWB0awg (envelope-from ) for ; Thu, 12 Aug 2021 16:29:26 -0400 Received: by simark.ca (Postfix, from userid 112) id CAB661EDFB; Thu, 12 Aug 2021 16:29:26 -0400 (EDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED, MAILING_LIST_MULTI,T_DKIM_INVALID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.2 Received: from sourceware.org (server2.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id 2BC301E79C for ; Thu, 12 Aug 2021 16:29:24 -0400 (EDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 7CC7939BB40E for ; Thu, 12 Aug 2021 20:29:23 +0000 (GMT) Received: from mail-ot1-x330.google.com (mail-ot1-x330.google.com [IPv6:2607:f8b0:4864:20::330]) by sourceware.org (Postfix) with ESMTPS id 6CCDD383801A for ; Thu, 12 Aug 2021 20:29:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 6CCDD383801A Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-ot1-x330.google.com with SMTP id a7-20020a9d5c870000b029050333abe08aso9271513oti.13 for ; Thu, 12 Aug 2021 13:29:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore-com.20150623.gappssmtp.com; s=20150623; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=TmqY+KxcpJA7qDmIh4SQqVWBKhDTNmgpfgUJOzv+c6w=; b=lh8CG/8sSLIKJWCLEMH9VEDD/T+TVMPiN4tm67qeXAYT8rih3NuU0WC/B+bBwYOGSR YLoUREjIZ6bKgQusJIFoyEGQAob0G+/ueeug0vPNb6/pZfAIGE065cHHWAtfYmnTF64k UKEzOjBlXkXXjN5solkK5QzmKJBtBYzJtV9BlsarUZqzIxWi5/B3GoftinAD/vHkqDAY Ui7jOEcPSc5ykPyqVDFVlB7+Skve3WgDsKXWybaQW5Pu9yq0ZLr0ALhwh76k7eoFFQ1y AiaINELF0G1XqQZReQNzqYA5TupBxbuH1hupQWxwDdlTLLnmRdzyl2aaQXt6nc/sON9w 0msA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=TmqY+KxcpJA7qDmIh4SQqVWBKhDTNmgpfgUJOzv+c6w=; b=S6aKFBZiLFpeQACtcPJ97MqE3FDJaY88rbgeyzSAug8WoaRhiBvQLmVwK7GB6rGSto J2BAXOuVbuDxL2QcYm9VpqlZHloEVQLnYAO7KF+JVtPlGeUWflYbcCnXiRSgQzIYAXi9 XZbpiGHwVCmTIfBhK3FXWT6U2oRlI6oSXDnHJME+d4VSS4yxQguIrnOJitx2kpoWGDa6 JuGqcPLbSmD2bQTJjtrbGfs8gimQT5wwE2trsLjRxaTeSWow7QweJlYrYjGcLOJHJ72U 2wgCyMfrSkKKZtnEB3SRe9Ci1CcyusWAVqj5bOwD8O58z/XnfXRG02GoO6N8LsUCTODW rJHg== X-Gm-Message-State: AOAM530xI63whwOp3TWmUgCAKqTtRkujRSRD40uwUStK5q4oTPIJyZws 2lf+apS/UFr00v0xGT3MxpysgQ== X-Google-Smtp-Source: ABdhPJysyByUArjlL3A0a3rPjlczVTN28DUHKCst6iKD23ZOMFGNfZgayujOG310d1qzEIiIVXkmdg== X-Received: by 2002:a05:6830:1f59:: with SMTP id u25mr4921706oth.321.1628800149870; Thu, 12 Aug 2021 13:29:09 -0700 (PDT) Received: from murgatroyd (97-122-71-196.hlrn.qwest.net. [97.122.71.196]) by smtp.gmail.com with ESMTPSA id 18sm864275otv.35.2021.08.12.13.29.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 12 Aug 2021 13:29:09 -0700 (PDT) From: Tom Tromey To: Eli Zaretskii Subject: Re: [PATCH] Update documentation to mention Pygments References: <20210812183952.3509102-1-tromey@adacore.com> <83fsvecx6f.fsf@gnu.org> X-Attribution: Tom Date: Thu, 12 Aug 2021 14:29:08 -0600 In-Reply-To: <83fsvecx6f.fsf@gnu.org> (Eli Zaretskii's message of "Thu, 12 Aug 2021 21:52:56 +0300") Message-ID: <8735recsq3.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: gdb-patches@sourceware.org, Tom Tromey Errors-To: gdb-patches-bounces+public-inbox=simark.ca@sourceware.org Sender: "Gdb-patches" >> Philippe Blain pointed out that the gdb documentation does not mention >> that Pygments may be used for source highlighting. This patch updates >> the docs to reflect how highlighting is actually done. Eli> OK, thanks. Thanks. I'm going to backport this to the gdb-11 branch. Tom