--- 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)