Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-12 17:54:22 -0800 (Sun, 12 Mar 2006)
Revision: 8880
Log message:

      Since there are a number of generated .mli in the project, we need to use
      filter-targets instead of filter-exists in mk/make_gen