* gdb.texinfo (Signaling): Update for symbolic symbol names
authorJim Kingdon <jkingdon@engr.sgi.com>
Thu, 7 Oct 1993 21:33:37 +0000 (21:33 +0000)
committerJim Kingdon <jkingdon@engr.sgi.com>
Thu, 7 Oct 1993 21:33:37 +0000 (21:33 +0000)
commitfd32a1ddc0ab08ab71b6c24e4940d5d2cecccf33
tree705046ea40b37f50e62f414797680561b7e55a9b
parentc2d751d5e51893b95c86ada0899d8ed74f4ba9a7
* gdb.texinfo (Signaling): Update for symbolic symbol names
and add a section explaining the difference between the GDB
signal command and the shell kill utility.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo