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.
TocPage gid_toc.html TocPage contents.ht DT