Rename libitm.texi Index node for case-insensitive filesystems

Joseph S. Myers joseph@codesourcery.com
Wed Mar 26 21:32:00 GMT 2014


Various Texinfo manuals have had their indexes given node names other than 
"Index" to avoid conflicts with index.html when HTML output is generated 
and then used on a case-insensitive filesystem.  I've applied this patch 
to make such a renaming in the libitm manual, using the name Library Index 
as in the libgomp manual.  Bootstrapped with no regressions on 
x86_64-unknown-linux-gnu.

2014-03-26  Joseph Myers  <joseph@codesourcery.com>

	* libitm.texi (Index): Rename to Library Index.

Index: libitm/libitm.texi
===================================================================
--- libitm/libitm.texi	(revision 208845)
+++ libitm/libitm.texi	(working copy)
@@ -69,7 +69,7 @@
 * Internals::                  Notes on libitm's internal synchronization.
 * GNU Free Documentation License::
                                How you can copy and share this manual.
-* Index::                      Index of this documentation.
+* Library Index::              Index of this documentation.
 @end menu
 
 
@@ -766,8 +766,8 @@
 @c Index
 @c ---------------------------------------------------------------------
 
-@node Index
-@unnumbered Index
+@node Library Index
+@unnumbered Library Index
 
 @printindex cp
 

-- 
Joseph S. Myers
joseph@codesourcery.com



More information about the Gcc-patches mailing list