distrib:
	(rm maketeidtd.zip; cd ..; zip -r maketeidtd maketeidtd carthage; zip -d maketeidtd carthage/carthage.zip; mv maketeidtd.zip maketeidtd)
clean:
	-rm *.[0-9]*

