idris-lang/Idris-dev — pull request #777 by andy-morris (2014-01-11 12:17:47+00:00)
Title: Fix .PHONY targets in Makefiles

Phony targets should be dependencies of .PHONY, not the other way around.

[Sorry about the other PR just now, the 'Edit' button on Github is just too inviting and I didn't think to check the other makefiles until it was too late. :(]