Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-10-13 14:31:37 -0700 (Tue, 13 Oct 1998)
Revision: 2512
Log message:

      For removing files, always use $(RM)
      RM is currently defined in mk/config to be "rm -f"
      

Changes	Path
+1 -1	metaprl/bin/Makefile
+3 -3	metaprl/editor/ml/Makefile
+4 -4	metaprl/ensemble/Makefile
+1 -1	metaprl/filter/Makefile
+3 -3	metaprl/horus/Makefile
+1 -1	metaprl/lib/Makefile
+1 -1	metaprl/library/Makefile
+1 -1	metaprl/refiner/Makefile
+2 -2	metaprl/refiner/refsig/Makefile
+1 -1	metaprl/refiner/term_std/Makefile
+2 -2	metaprl/theories/itt/Makefile
+1 -1	metaprl/theories/tptp/Makefile
+1 -1	metaprl/util/Makefile