git-annex/Makefile

git-annex:
	mkdir -p build
	ghc -odir build -hidir build --make git-annex

clean:
	rm -rf build git-annex

.PHONY: git-annex
add 2010-10-10 04:18:16 +00:00			`git-annex:`
build in subdir 2010-10-14 07:46:34 +00:00			`mkdir -p build`
			`ghc -odir build -hidir build --make git-annex`
add 2010-10-10 04:18:16 +00:00
			`clean:`
build in subdir 2010-10-14 07:46:34 +00:00			`rm -rf build git-annex`
add 2010-10-10 04:18:16 +00:00
			`.PHONY: git-annex`