Hello,

>  * Is this meant to be about the gcore facility provided by gdb?

Yes, of course!

>  * The copyright date can't be any earlier than 2003, which is 
> when that feature was introduced.  I might suggest:
> 
>    Copyright (C) 2003, 2005, 2007 Free Software Foundation, Inc.
> 
> since that's what it says in the shell script.

Ok, I'm changing that. I used the copyright notice of gdb's man page.

>  * Where, and when (under what circumstances) should this man
> page get installed?  We do have a shell script, gdb_gcore.sh, 
> that invokes gdb from the shell and performs the "gcore" function,
> but none of our makefiles ever install this shell script.

In fact, the Debian package for gdb installs this script with the name 
gcore instead of gdb_gcore.sh (this is done by debian/rules).
If you don't install this shell script, then you may not need this man 
page, and I will directly send it to Debian. Please tell me what you prefer.
If you want to install it, it is very easy to change the man page name 
and the occurences of core in the man page to gdb_gcore.sh.

By the way, in gdb_gcore.sh, the script is named gcore.sh:
# gcore.sh
# Script to generate a core file of a running program.
# It starts up gdb, attaches to the given PID and invokes the gcore command.


Nicolas