This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: gcore man page
On Wed, 2007-10-24 at 21:09 +0200, Nicolas Bonifas wrote:
> 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.
Thanks. I'll put this question to the appropriate list and Cc: you.
Michael