Makefile: no more separate stages

 - Instead of the separate stage mechanism, we let make handle the
   build and inclusion of all .d. Some initial calls to camlp4o
   will fail, but make tries again later, and this finally works
   great. These initial error message are made nice to avoid bad
   interaction with M-x next-error

 - The only recursive call to a sub-make is Makefile calling Makefile.build
   in which the includes of .d take place. This allows to avoid compiling
   anything for a make clean or make tags

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12839 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions