[committed] avoid filename collision in libgomp html manual

Message ID 4FF50555.3060805@codesourcery.com
State New
Headers show

Commit Message

Sandra Loosemore July 5, 2012, 3:09 a.m.
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:


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.


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

	* libgomp.texi (Library Index): Renamed from "Index" to prevent
	conflict with index.html on case-insensitive file systems.


Index: libgomp/libgomp.texi
--- libgomp/libgomp.texi	(revision 189277)
+++ libgomp/libgomp.texi	(working copy)
@@ -94,7 +94,7 @@  for multi-platform shared-memory paralle
                                How you can copy and share this manual.
 * Funding::                    How to help assure continued work for free 
-* Index::                      Index of this documentation.
+* Library Index::              Index of this documentation.
 @end menu
@@ -1759,8 +1759,8 @@  Bugs in the GNU OpenMP implementation sh
 @c Index
 @c ---------------------------------------------------------------------
-@node Index
-@unnumbered Index
+@node Library Index
+@unnumbered Library Index
 @printindex cp