clean:
	/bin/rm *~ *.aux *.dvi *.log core