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 <san...@codesourcery.com>
libgomp/
* 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
software.
-* 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
