diff options
| author | Tom Tromey <tromey@adacore.com> | 2021-08-12 12:38:37 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2021-08-12 14:06:20 -0600 |
| commit | 6a33fa0efec5aa87230a84bcab3c097237dd7f90 (patch) | |
| tree | ea211d4aa9cfacb8f8ef73afcc0579da15243761 | |
| parent | 9b1f59fc95da32963f3ba22f8587ea0c12899e05 (diff) | |
| download | gdb-6a33fa0efec5aa87230a84bcab3c097237dd7f90.zip gdb-6a33fa0efec5aa87230a84bcab3c097237dd7f90.tar.gz gdb-6a33fa0efec5aa87230a84bcab3c097237dd7f90.tar.bz2 | |
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.
| -rw-r--r-- | gdb/doc/gdb.texinfo | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index e39f993..58479ef 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. |