edwinb/Idris-dev — pull request #255 by ertes (2013-03-21 16:25:44+00:00)
Title: Improved Makefile dependencies

- Fix: .PHONY is now a target.
- Improved: targets now properly depend on cabal configure.
- Optionally including git-ignored custom.mk.