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

[Corinna Vinschen <vinschen at redhat dot com>]

On Nov  6 11:05, Terry Guo wrote:
> Hello,
> 
> When I copy Newlib built on Ubuntu to my Windows machine which is case
> insensitive, I ran into this filename clash issue. I checked some other GNU
> projects like Binutils and found they already rename the node Index to
> something else like "AS Index". This patch intends to solve same issue using
> same approach by rename Index to "Libm Index". Tested and it works. Is it
> ok?

I think so, but I'm not a texinfo expert.  I noticed that the 
equivalent lines in libc/libc.texinfo are:

  * Library Index::

  [...]

  @node Library Index
  @unnumbered Index

Note the "Index" in the unnumbered directive.  Is that a bug in
libc/libc.texinfo, or should libm/libm.texinfo do the same?


Thanks,
Corinna

Attachment: pgp8zPDysFf73.pgp
Description: PGP signature