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