z2html machine.tex > machine.html