bin/jdvi2tty
bin/dvi2tty
bin/disdvi