html2tex html2tex.in -o $1
