Fix gdb.flush documentation

The gdb.flush documentation does not mention the 'stream' argument in
the function signature, only in the description.  This patch fixes the
oversight.

diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi
index 9a823409854423636dceb35e5bd2fb6e82b3b2de..7aa9e853d85dc61855a0d0c07504cc20ad0d8a40 100644 (file)
--- 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