Update documentation to mention Pygments
authorTom Tromey <tromey@adacore.com>
Thu, 12 Aug 2021 18:38:37 +0000 (12:38 -0600)
committerTom Tromey <tromey@adacore.com>
Thu, 12 Aug 2021 20:29:56 +0000 (14:29 -0600)
commitd2374b07553db9033ff34990d18250496b3f6171
tree6ce3e5275db673af0d6489d3ab13c686f8a340d1
parentfb1b7fcec211dcf1c321895cbf8bfb6f551a3568
Update documentation to mention Pygments

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.

(cherry picked from commit 6a33fa0efec5aa87230a84bcab3c097237dd7f90)

gdb/doc/ChangeLog
2021-08-12  Tom Tromey  <tromey@adacore.com>

* gdb.texinfo (Output Styling): Mention Pygments.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
This page took 0.033625 seconds and 4 git commands to generate.