all:
	echo WARNING: Makefile is deprecated, use tomake.sh instead
	./tomake.sh
	echo WARNING: Makefile is deprecated, use tomake.sh instead
