1 2 3 4 5 6 7 8
git-annex: mkdir -p build ghc -odir build -hidir build --make git-annex clean: rm -rf build git-annex .PHONY: git-annex