htmltoc(1) on Linux

The text 438ce808f4d6, as Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it.

add table of contents to HTML document

htmltoc(1) on Linux now