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

TocPage