Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-05 13:33:22 -0800 (Fri, 05 Mar 1999)
Revision: 2607
Log message:

      There is no need for Makefile.dep here.
      
      Even worse - when Makefile.dep is included from this Makefile,
      it causes "make depend" to be ran prematurely in the subdirectories
      which, in turn, causes Makefile.dep's in subdirectories to miss lots of
      dependacies
      

Changes	Path
+0 -4	metaprl/refiner/Makefile