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 50342bb..80f4c14 100644
--- a/gdb/doc/python.texi
+++ b/gdb/doc/python.texi
@@ -4554,8 +4554,8 @@
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
