This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: Fix doc index name on Windows
Eli Zaretskii wrote:
I don't like the name you suggest, "GDB Index". That chapter is not
an index of GDB, it's an index of a manual.
I was just going along with how other GNU projects have dealt with the
issue. I have no strong feelings on this.
I can go with something
like "Concept and Command Index" instead (and will accept such a patch
if you insist on fixing this in GDB),
I'm happy to go along with whatever you suggest as the alternative.
Jifl
--
eCosCentric Limited http://www.eCosCentric.com/ The eCos experts
Barnwell House, Barnwell Drive, Cambridge, UK. Tel: +44 1223 245571
Registered in England and Wales: Reg No 4422071.
------["Si fractum non sit, noli id reficere"]------ Opinions==mine