diff options
| author | Michael Snyder <msnyder@vmware.com> | 2002-01-11 20:24:14 +0000 |
|---|---|---|
| committer | Michael Snyder <msnyder@vmware.com> | 2002-01-11 20:24:14 +0000 |
| commit | 79f12247228890faa40382a0f862f96e986f2fd1 (patch) | |
| tree | 1787f8e7846bd57786b4b5b166b99425bc5c4136 /gdb/doc/gdb.texinfo | |
| parent | e28cd48c21973334312e56c432a475303c59ef65 (diff) | |
| download | gdb-79f12247228890faa40382a0f862f96e986f2fd1.zip gdb-79f12247228890faa40382a0f862f96e986f2fd1.tar.gz gdb-79f12247228890faa40382a0f862f96e986f2fd1.tar.bz2 | |
2002-01-11 Michael Snyder <msnyder@redhat.com>
* gdb.texinfo (Choosing files): Change @samp to @file.
Diffstat (limited to 'gdb/doc/gdb.texinfo')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 5646b25..7d395a0 100644 --- 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 |