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

[Eli Zaretskii]

> 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.  Or we could make it a separate
section in the "Running" chapter.