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 | |
| 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')
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 8888a23..cf9b4a4 100644 --- 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 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 |