.---------------------------------------------------------------------
.-  contents.def  Create table of contents for document
.-
.-  Written:      96/03/11  Pieter Hintjens
.-  Revised:      96/05/01  Pieter Hintjens
.---------------------------------------------------------------------
.block toc_open
<ul>
.block toc_entry
<LI><A HREF="$(TOC_HREF)"><font size="small">$(TOC_TITLE)</font></A>
.block toc_close
</ul>
.end
.build toc