2002-01-11 Michael Snyder <msnyder@redhat.com>

        * gdb.texinfo (Choosing files): Change @samp to @file.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 8888a238120fdff7fb5b2eccbf6d4e90b795a8b2..cf9b4a43f413a585b59f3955af97ed5940ca889f 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@
+2002-01-11  Michael Snyder  <msnyder@redhat.com>
+
+       * gdb.texinfo (Choosing files): Change @samp to @file.
+
 2002-01-05  Michael Snyder  <msnyder@redhat.com>
 
        * gdb.texinfo (--pid): Document new command line option (attach).

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 5646b251703652b05227979b3f1d59bd8ac156de..7d395a07f811ba388d1541299fe19fe2196530d0 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -900,7 +900,7 @@ If the second argument begins with a decimal digit, @value{GDBN} will
 first attempt to attach to it as a process, and if that fails, attempt
 to open it as a corefile.  If you have a corefile whose name begins with
 a digit, you can prevent @value{GDBN} from treating it as a pid by 
-prefixing it with @samp{"./"}, eg. @samp{"./12345"}.
+prefixing it with @file{./}, eg. @file{./12345}.
 
 If @value{GDBN} has not been configured to included core file support,
 such as for most embedded targets, then it will complain about a second