clean: 
	rm -f *.dvi *.log *.ps *.html