tools/inf2html
