From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id QLFLJyZrFWFicQAAWB0awg (envelope-from ) for ; Thu, 12 Aug 2021 14:40:38 -0400 Received: by simark.ca (Postfix, from userid 112) id 9DA301EDFB; Thu, 12 Aug 2021 14:40:38 -0400 (EDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=MAILING_LIST_MULTI 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 1DC4E1E4A3 for ; Thu, 12 Aug 2021 14:40:37 -0400 (EDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id DA40B39B9C01 for ; Thu, 12 Aug 2021 18:40:36 +0000 (GMT) Received: from rock.gnat.com (rock.gnat.com [205.232.38.15]) by sourceware.org (Postfix) with ESMTPS id EBE1F39B90A1 for ; Thu, 12 Aug 2021 18:39:54 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org EBE1F39B90A1 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: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id C6762117A1F; Thu, 12 Aug 2021 14:39:54 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id nWSI1ks3CfsG; Thu, 12 Aug 2021 14:39:54 -0400 (EDT) Received: from murgatroyd.Home (97-122-71-196.hlrn.qwest.net [97.122.71.196]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPSA id 83B011179FA; Thu, 12 Aug 2021 14:39:54 -0400 (EDT) From: Tom Tromey To: gdb-patches@sourceware.org Subject: [PATCH] Update documentation to mention Pygments Date: Thu, 12 Aug 2021 12:39:52 -0600 Message-Id: <20210812183952.3509102-1-tromey@adacore.com> X-Mailer: git-send-email 2.26.3 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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: 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. --- gdb/doc/gdb.texinfo | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index e39f99369f4..58479ef3ed6 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -26033,10 +26033,16 @@ Show the current state of styling. @item set style sources @samp{on|off} Enable or disable source code styling. This affects whether source -code, such as the output of the @code{list} command, is styled. Note -that source styling only works if styling in general is enabled, and -if @value{GDBN} was linked with the GNU Source Highlight library. The -default is @samp{on}. +code, such as the output of the @code{list} command, is styled. The +default is @samp{on}. Note that source styling only works if styling +in general is enabled, and if a source highlighting library is +available to @value{GDBN}. + +There are two ways that highlighting can be done. First, if +@value{GDBN} was linked with the GNU Source Highlight library, then it +is used. Otherwise, if @value{GDBN} was configured with Python +scripting support, and if the Python Pygments package is available, +then it will be used. @item show style sources Show the current state of source code styling. -- 2.26.3