[committed] avoid filename collision in libgomp html manual

[Sandra Loosemore]

Using "Index" as a node name in Texinfo results in a file named 
"Index.html" when you generate HTML output.  On systems with 
case-insensitive filenames, like Windows, this conflicts with the 
top-level "index.html" that contains the table of contents.  In 
particular, see:

http://gcc.gnu.org/onlinedocs/libgomp/index.html
http://gcc.gnu.org/onlinedocs/libgomp/Index.html

The attached patch renames the "Index" node in the libgomp manual to 
"Library Index".  We've had this in our local tree for years and I think 
it's sufficiently obvious that I've gone ahead and checked it in on 
mainline as well.

-Sandra


2012-07-04  Sandra Loosemore <sandra@codesourcery.com>

	libgomp/
	* libgomp.texi (Library Index): Renamed from "Index" to prevent
	conflict with index.html on case-insensitive file systems.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: libgomp.patch
Type: text/x-patch
Size: 814 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20120705/d55c5f17/attachment.bin>