===> Cleaning for dvi2tty-1.0