[Patch, Newlib/Libm] Avoid index.html and Index.html file name clash on platform like windows

[Corinna Vinschen]

On Nov  8 11:04, Terry Guo wrote:
> > -----Original Message-----
> >   My personal preference would be
> > that the name be
> > "Document Index" in both cases, but I certainly have no problem calling them
> > both "Library Index" or leaving it as is.
> 
> Thank you for clarification. I now updated libm patch per your
> suggestion:  use the "Document Index" and let the names match. Is this
> one OK?
> [...]
> 2013-11-08  Terry Guo  <...>
> 
>                  * libm/libm.texinfo: Rename node Index to Document Index.

Patch applied.  I fixed libc.texinfo accordingly.


Thanks,
Corinna

-- 
Corinna Vinschen
Cygwin Maintainer
Red Hat
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://sourceware.org/pipermail/newlib/attachments/20131108/7b4dbcbf/attachment.sig>