tiny index

This commit is contained in:
Martin A. Brown 2016-03-10 09:27:54 -08:00
parent cd7e325c59
commit bcb38bdd7d
1 changed files with 29 additions and 1 deletions

View File

@ -1,5 +1,33 @@
<index id='doc-index'>
<!-- This file was produced by collateindex.pl. -->
<!-- Remove this comment if you edit this file by hand! -->
<!-- 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
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.
<ulink url="t1.htm#INTRO" role="AEN22">Introduction</ulink>