
Clean:
		rm -f local/*

clean:
		@rm -f local/*

distclean Dist-clean:
		rm -f *.K* *.u
		rm -f local/*
		touch local/.placeholder

