ultramid.ini : gen-ultramid config.py stats.py
	./gen-ultramid $@

clean:
	rm -f ultramid.ini *.pyc
	rm -fr __pycache__
