Various fixes in the Makefiles

 After a successful build, re-doing make world should almost do nothing.
 For that:
  - Many targets added to .PHONY, especially "tools" since a "tools"
    directory exists. And anyway this is said to speed-up make a bit.
  - Concerning fake_ide, mentionning the .cm* instead of the .ml*
    avoid rebuilding these .cm*, and hence possibly many other things.
  - in Makefile.doc: fix the rule building index_url.txt
  - coqtop.* is now built by $(BESTCOQMKTOP) instead of $(COQMKTOP)
    (which is the symlink). This avoids a situation where a first
    "make" could redo just a few files while a second "make" will
    rebuild many more. Typical scenario : touch the Makefile,
    1st make was re-doing tolink.ml and then coqmktop, but no more,
    a 2nd make was then detecting that coqtop and the stdlib was to
    be redone

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

0 files changed, 0 insertions, 0 deletions