Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 20:15:48 -0800 (Tue, 09 Mar 1999)
Revision: 2613
Log message:

      "make depend" should just go and erase all Makefile.dep files since
      subsequent make would rebuild them
      

Changes	Path
+2 -1	metaprl/Makefile
+2 -5	metaprl/refiner/Makefile