 dvispell $1.dvi>$1.txt
