On Tue, Jan 10, 2023 at 6:07 AM Simon Marchi via Gdb-patches <
gdb-patches@sourceware.org> wrote:

> Here are three simple doc fixes and cleanups that I took from the
> ROCm-GDB downstream port.
>
> Simon Marchi (3):
>   gdb/doc: some whitespace fixes
>   gdb/doc: use @value{GDBN} in some spots
>   gdb/doc: use @value{GDBP} in some spots
>
>  gdb/doc/gdb.texinfo | 284 ++++++++++++++++++++++----------------------
>  gdb/doc/python.texi |   4 +-
>  2 files changed, 144 insertions(+), 144 deletions(-)
>
>
> base-commit: 7dd38e31d67c2548b52bea313ab18e40824c05da
> --
> 2.39.0
>
> Nice set. I appreciate the documentation will  look more consistent now.