zip: git archive -o zero-el.zip --prefix=zero/ HEAD .PHONY: zip