2016-03-10 17:27:54 +00:00
|
|
|
<index id='doc-index'>
|
2016-03-10 05:49:41 +00:00
|
|
|
|
|
|
|
<!-- This file was produced by collateindex.pl. -->
|
|
|
|
<!-- Remove this comment if you edit this file by hand! -->
|
2016-03-10 17:27:54 +00:00
|
|
|
<!-- ULINK is abused here.
|
|
|
|
|
|
|
|
The URL attribute holds the URL that points from the index entry
|
|
|
|
back to the appropriate place in the output produced by the HTML
|
|
|
|
stylesheet. (It's much easier to calculate this URL in the first
|
|
|
|
pass.)
|
|
|
|
|
|
|
|
The Role attribute holds the ID (either real or manufactured) of
|
|
|
|
the corresponding INDEXTERM. This is used by the print backends
|
|
|
|
to produce page numbers.
|
|
|
|
|
|
|
|
The entries below are sorted and collated into the correct order.
|
|
|
|
Duplicates may be removed in the HTML backend, but in the print
|
|
|
|
backends, it is impossible to suppress duplicate pages or coalesce
|
|
|
|
sequences of pages into a range.
|
|
|
|
-->
|
|
|
|
|
|
|
|
<title>Index</title>
|
|
|
|
|
|
|
|
<indexdiv><title>T</title>
|
|
|
|
|
|
|
|
<indexentry>
|
|
|
|
<primaryie>Text,
|
|
|
|
<ulink url="t1.htm#INTRO" role="AEN22">Introduction</ulink>
|
|
|
|
</primaryie>
|
|
|
|
</indexentry>
|
|
|
|
|
|
|
|
</indexdiv>
|
2016-03-10 05:49:41 +00:00
|
|
|
</index>
|