diff options
Diffstat (limited to 'otherlibs/str/Makefile.nt')
| -rw-r--r-- | otherlibs/str/Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/str/Makefile.nt b/otherlibs/str/Makefile.nt index 3d65d19f00..087f54e9ac 100644 --- a/otherlibs/str/Makefile.nt +++ b/otherlibs/str/Makefile.nt @@ -53,7 +53,7 @@ clean: partialclean install: cp dllstr.dll $(STUBLIBDIR)/dllstr.dll cp libstr.$(A) $(LIBDIR)/libstr.$(A) - cp str.cma str.cmi $(LIBDIR) + cp str.cma str.cmi str.mli $(LIBDIR) installopt: cp str.cmx str.cmxa str.$(A) $(LIBDIR) |