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.
This commit is contained in:
Andrew Burgess
2025-06-16 11:45:47 +01:00
parent bb7c679902
commit 62f1dbee49

View File

@@ -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