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

Eli Zaretskii
2002-01-04T08:52:24Z

> 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.