diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi index 9a823409854..7aa9e853d85 100644 --- a/gdb/doc/python.texi +++ b/gdb/doc/python.texi @@ -511,7 +511,7 @@ relevant stream. @end defun @findex gdb.flush -@defun gdb.flush () +@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