bin/dvi2tty
