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