Texi2html converts the given Texinfo file to a set of HTML files. It tries
to handle most of the Texinfo commands. It creates hypertext links for
cross-references, footnotes...
It also tries to add links from a reference to its corresponding entry in
the bibliography (if any). It may also handle a glossary (see the glossary)

 PERMSSN    UID  GID    PACKED    SIZE  RATIO     CRC       STAMP          NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
-rw-rw-r-- 20025/200     16255   61440  26.5% -lh5- 4f80 Mar 30  1998 texi2html-1.51-bin.tar
---------- ----------- ------- ------- ------ ---------- ------------ -------------
 Total         1 file    16255   61440  26.5%            Mar 16  1998