
default:
	make -C tools
	make -C images

clean tidy checkin: %:
	make -C tools $@
	make -C images $@


