[0/3] Small doc fixes

Message ID 20230110050643.1767083-1-simon.marchi@polymtl.ca
Headers
Series Small doc fixes |

Message

Simon Marchi Jan. 10, 2023, 5:06 a.m. UTC
  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
  

Comments

Alexandra Petlanova Hajkova Jan. 10, 2023, 10:46 a.m. UTC | #1
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.