default :
	echo "Nothing to do!"

clean:
	-rm -f ./*~

veryclean:
	-rm -f ./*~