Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-25 02:29:54 -0800 (Wed, 25 Jan 2006)
Revision: 8603
Log message:

      Bootstrapping Makefile need to be generated after all the generated .ml files
      are in place (to make sure that the dependency information is complete).