# Simple makefile so that people can just type "make".

all clean dist:
	@./redo.sh $@
