This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]