gdb/doc: use @samp{} in Python docs

In this review:

  https://inbox.sourceware.org/gdb-patches/86sem6ase5.fsf@gnu.org

it was pointed out that I should use @samp{} around some text I was
adding to the documentation.  However, the offending snippet of
documentation was something I copied from elsewhere in python.texi.
This commit fixes the original to use @samp{}.

diff --git a/gdb/doc/python.texi b/gdb/doc/python.texi
index 50342bbba5f52d9b03605adcb7698317a7d5a51c..80f4c143f9f955689bb7b5ab275eeb513508230e 100644 (file)
--- a/gdb/doc/python.texi
+++ b/gdb/doc/python.texi
@@ -4554,8 +4554,8 @@ registered.
 
 The help text for the new command is taken from the Python
 documentation string for the command's class, if there is one.  If no
-documentation string is provided, the default value ``This command is
-not documented.'' is used.
+documentation string is provided, the default value @samp{This command
+is not documented.} is used.
 @end defun
 
 @cindex don't repeat Python command