Patchwork [committed] avoid filename collision in libgomp html manual

login
register
mail settings
Submitter Sandra Loosemore
Date July 5, 2012, 3:09 a.m.
Message ID <4FF50555.3060805@codesourcery.com>
Download mbox | patch
Permalink /patch/169065/
State New
Headers show

Comments

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:

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.

Patch

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