From: Andrew Burgess <aburgess@redhat.com>
Date: Mon, 16 Jun 2025 10:45:47 +0000 (+0100)
Subject: gdb/doc: remove stray comma from gdb.flush description
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=62f1dbee49983c1820bc32015d2e8cd2d085c4dd;p=thirdparty%2Fbinutils-gdb.git

gdb/doc: remove stray comma from gdb.flush description

Remove comma from: gdb.flush([, stream]) .  I suspect this was a copy
and paste from gdb.write(string [, stream]) where the comma is
correct.
---

diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi
index 8f1da601476..f343d0b4457 100644
--- a/gdb/doc/python.texi
+++ b/gdb/doc/python.texi
@@ -479,7 +479,7 @@ call this function and will automatically direct the output to the
 relevant stream.
 @end defun
 
-@defun gdb.flush (@r{[}, stream@r{]})
+@defun gdb.flush (@r{[}stream@r{]})
 Flush the buffer of a @value{GDBN} paginated stream so that the
 contents are displayed immediately.  @value{GDBN} will flush the
 contents of a stream automatically when it encounters a newline in the