This is the mail archive of the newlib@sourceware.org mailing list for the newlib 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: [Patch, Newlib/Libm] Avoid index.html and Index.html file name clash on platform like windows


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

Attachment: pgpXaTymXx3zW.pgp
Description: PGP signature


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