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 <jos...@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
jos...@codesourcery.com
