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