TocPage

TocPage defines an html page as a table of contents for the current node (current directory). We have considered two ways of specifying a table of contents:

<UL> <LI> ... </UL> (default)
<DT> <DL> ... </DT>

The first is the one generated by texinfo.
For instance:

TocPage gid_toc.html
TocPage contents.ht DT