Doco for "generate-core-file" -- where?

[Michael Snyder]

Eli Zaretskii wrote:
> 
> > Date: Thu, 03 Jan 2002 18:23:06 -0800
> > From: Michael Snyder <msnyder@redhat.com>
> >
> > Hmmm, what section of the manual would you think the
> > "generate-core-file"
> > command should go in?
> 
> We could put it into "Killing the child process", perhaps after
> changing the section's name a bit. 

My first thought too -- only this really has nothing to do
with killing the child.  We can take a corefile snapshot of
a living child, and then continue to run/debug the child.

> Or we could make it a separate
> section in the "Running" chapter.

I like that better.  This is something you would do while 
running the child.  OTOH, so is almost everything else.

I was looking for a section involving files, but of course
gdb does not write very many files (mostly reads them).