gdb/doc: fill in two missing @r
authorAndrew Burgess <aburgess@redhat.com>
Fri, 21 Jan 2022 12:49:48 +0000 (12:49 +0000)
committerAndrew Burgess <aburgess@redhat.com>
Fri, 21 Jan 2022 12:49:48 +0000 (12:49 +0000)
I noticed two places in the docs where we appear to be missing @r.
makeinfo seems to do the correct things despite these being
missing (at least, I couldn't see any difference in the pdf or info
output), but it doesn't hurt to have the @r in place.

gdb/doc/python.texi

index 38fce5b38e3751201cacaa25dabd8a45e68e1281..6730de05143465a7b943600811d8df37bc6d69ab 100644 (file)
@@ -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.