diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-03-08 19:52:03 +0000 |
commit | 6c24f4f90b23e8c4536281d31461adfe5a15b739 (patch) | |
tree | 29f6c4af8052800cc7d0eafb9650c6be8e90a2e5 /Makefile | |
parent | 1fb4007ece64b1d59e16d7a84639fce1dd69ed45 (diff) | |
download | ocaml-6c24f4f90b23e8c4536281d31461adfe5a15b739.tar.gz |
merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -282,6 +282,7 @@ install: if test -d $(STUBLIBDIR); then : ; else $(MKDIR) $(STUBLIBDIR); fi if test -d $(MANDIR)/man$(MANEXT); then : ; \ else $(MKDIR) $(MANDIR)/man$(MANEXT); fi + cp VERSION $(LIBDIR)/ cd $(LIBDIR); rm -f dllbigarray.so dlllabltk.so dllnums.so \ dllthreads.so dllunix.so dllgraphics.so dllstr.so \ dlltkanim.so |