--- ./stdlib/Makefile.orig Mon Nov 29 17:53:30 2004 +++ ./stdlib/Makefile Sun May 21 14:02:41 2006 @@ -48,8 +48,7 @@ rm -f std_exit.p.cmi install: - cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur \ - $(LIBDIR) + cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur $(LIBDIR) installopt: installopt-default installopt-$(PROFILING)