clean: -rm -f *.dvi *.log *~