Tom Tromey d2374b0755 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 6a33fa0efe)

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

	* gdb.texinfo (Output Styling): Mention Pygments.

2021-08-12 14:29:56 -06:00

..

.gitignore

…

a4rc.sed

…

agentexpr.texi

…

all-cfg.texi

…

annotate.texinfo

…

ChangeLog

Update documentation to mention Pygments

2021-08-12 14:29:56 -06:00

doxy-index.in

…

Doxyfile-base.in

…

Doxyfile-gdb-api.in

…

Doxyfile-gdb-xref.in

…

Doxyfile-gdbserver.in

…

fdl.texi

…

filter-for-doxygen

…

filter-params.pl

…

gdb.texinfo

Update documentation to mention Pygments

2021-08-12 14:29:56 -06:00

gpl.texi

…

guile.texi

gdb/guile: allow for catchpoint type breakpoints in guile

2021-06-25 18:22:05 +01:00

lpsrc.sed

…

Makefile.in

…

psrc.sed

…

python.texi

gdb/python: allow for catchpoint type breakpoints in python

2021-06-25 18:22:07 +01:00

refcard.tex

…

stabs.texinfo

…

stack_frame.eps

…

stack_frame.pdf

…

stack_frame.png

…

stack_frame.svg

…

stack_frame.txt

…