mkhtmlindex(1) on Linux

The text d3a43e9b0ae7, as Debian 5.0 (Lenny), Debian 4.0 (Etch) shipped it.

generate index files for HTML man pages

mkhtmlindex(1) on Linux now