use compiler/coq/Makefile to decide if "git submodule update" is required
[ghc-hetmet.git] / distrib / MacFrameworks /
2007-12-17 judah.jacobson@gma... Make MacFrameworks a subdirectory of distrib, since...