- bugfix: installs also cmi for modules which doesn't have mli

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index 94e38968584fb865b722fb6753c9f33c8b308c0e..90ab28781a500ab06f3721cc8ce253d47feabf9b 100644 (file)
--- 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:        \