Fix doc index name on Windows
Jonathan Larmour
jifl@eCosCentric.com
Fri Nov 26 15:12:00 GMT 2010
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
More information about the Gdb-patches
mailing list