X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FMakefile;h=90ab28781a500ab06f3721cc8ce253d47feabf9b;hb=113bef6891e9ddaba7d81addbc1b2182fb234913;hp=94e38968584fb865b722fb6753c9f33c8b308c0e;hpb=84da82981de31834b38693a8da428373571b556f;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index 94e389685..90ab28781 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -102,6 +102,7 @@ install: META
 		$(patsubst %, %.mli, $(PUBLIC_MODULES))	\
 		$(patsubst %, %.ml, $(PUBLIC_IMPL))	\
 		$(patsubst %, %.cmi, $(PUBLIC_MODULES))	\
+		$(patsubst %, %.cmi, $(PUBLIC_IMPL))	\
 		http{,_mt}.cm{,x}a http{,_mt}.a META
 
 .PHONY:	\