use compiler/coq/Makefile to decide if "git submodule update" is required
[ghc-hetmet.git] / compiler / DEPEND-NOTES
1 Module dependency information is now given in the GHC commentary
2
3         ghc/docs/comm/genesis/modules.html
4