Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-28 20:40:34 -0700 (Mon, 28 Jun 1999)
Revision: 2763
Log message:

      Removed -I $(ROOT)/lib from the INCLUDES.
      It was unnecessary since mk/rules adds -I $(ROOT)/lib to ocaml{c,opt} calls anyway.
      

Changes  Path
+0 -1 metaprl/editor/ml/Makefile
+1 -1 metaprl/theories/base/Makefile
+1 -1 metaprl/theories/boot/Makefile
+1 -1 metaprl/theories/czf/Makefile
+1 -1 metaprl/theories/itt/Makefile
+1 -1 metaprl/theories/ocaml/Makefile
+1 -1 metaprl/theories/ocaml_sos/Makefile
+1 -1 metaprl/theories/reflect_itt/Makefile
+1 -1 metaprl/theories/tactic/Makefile
+1 -1 metaprl/theories/tptp/Makefile