Rename libitm.texi Index node for case-insensitive filesystems

Message ID
State New
Headers show

Commit Message

Joseph Myers March 26, 2014, 9:22 p.m.
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 

2014-03-26  Joseph Myers  <>

	* 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