--- stdlib/Makefile.orig Sat Aug 20 02:39:05 2005 +++ stdlib/Makefile Sat Aug 20 02:39:27 2005 @@ -47,7 +47,7 @@ rm -f std_exit.p.cmi install: - cp stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur \ + ${BSD_INSTALL_DATA} stdlib.cma std_exit.cmo *.cmi *.mli *.ml camlheader camlheader_ur \ $(LIBDIR) installopt: installopt-default installopt-$(PROFILING)