Patchwork Rename libitm.texi Index node for case-insensitive filesystems

login
register
mail settings
Submitter Joseph S. Myers
Date March 26, 2014, 9:22 p.m.
Message ID <Pine.LNX.4.64.1403262120020.20243@digraph.polyomino.org.uk>
Download mbox | patch
Permalink /patch/334108/
State New
Headers show

Comments

Joseph S. 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 
x86_64-unknown-linux-gnu.

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

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

Patch

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