X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2F.depend;h=ceb7476a9aad4ac65de69c9242f1298a6afe7c8e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6da802c7e0dc5dc50b9d6b61e18089607c96d8a4;hpb=7ab0c11985ab4caf44ef42e01c4eb0b5bde77913;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/.depend b/helm/DEVEL/mathml_editor/ocaml/.depend
index 6da802c7e..ceb7476a9 100644
--- a/helm/DEVEL/mathml_editor/ocaml/.depend
+++ b/helm/DEVEL/mathml_editor/ocaml/.depend
@@ -1,2 +1,3 @@
-mathml_editor.cmo: i_mathml_editor.cmo 
-mathml_editor.cmx: i_mathml_editor.cmx 
+mathml_editor.cmo: i_mathml_editor.cmo mathml_editor.cmi 
+mathml_editor.cmx: i_mathml_editor.cmx mathml_editor.cmi 
+mathml_editor.cmi: i_mathml_editor.cmo