diff options
| -rw-r--r-- | gdb/doc/python.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi index 38fce5b..6730de0 100644 --- a/gdb/doc/python.texi +++ b/gdb/doc/python.texi @@ -444,7 +444,7 @@ this. For example: @end defun @findex gdb.write -@defun gdb.write (string @r{[}, stream{]}) +@defun gdb.write (string @r{[}, stream@r{]}) Print a string to @value{GDBN}'s paginated output stream. The optional @var{stream} determines the stream to print to. The default stream is @value{GDBN}'s standard output stream. Possible stream @@ -4530,7 +4530,7 @@ historical compatibility. @end defun @findex gdb.lookup_objfile -@defun gdb.lookup_objfile (name @r{[}, by_build_id{]}) +@defun gdb.lookup_objfile (name @r{[}, by_build_id@r{]}) Look up @var{name}, a file name or build ID, in the list of objfiles for the current program space (@pxref{Progspaces In Python}). If the objfile is not found throw the Python @code{ValueError} exception. |