diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-03-26 21:20:04 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-03-26 21:20:04 +0000 |
| commit | e0aba8f76dc05c31bb7f29bb01461359ca432608 (patch) | |
| tree | 84817e09a33e844bdb38b56bad0331b4c5a2b9c3 /libitm/libitm.texi | |
| parent | bb9c2cbbed2caff57e3ab7094ce0ef0c081a90ea (diff) | |
| download | gcc-e0aba8f76dc05c31bb7f29bb01461359ca432608.tar.gz | |
* libitm.texi (Index): Rename to Library Index.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208853 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libitm/libitm.texi')
| -rw-r--r-- | libitm/libitm.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libitm/libitm.texi b/libitm/libitm.texi index 38b16b56a89..08776f34f1b 100644 --- a/libitm/libitm.texi +++ b/libitm/libitm.texi @@ -69,7 +69,7 @@ several threads. * 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 @@ priority inheritance until the TM has priority-aware contention management. @c Index @c --------------------------------------------------------------------- -@node Index -@unnumbered Index +@node Library Index +@unnumbered Library Index @printindex cp |