X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;h=6fe73af6a3a311569826b4349e1c1ec01b529177;hb=3a1b9888628ab6850927cc51afb2ccce722ff519;hp=97ae32053b115e8301a80f5877d25c865fe86fb8;hpb=d28109430c5bc2afe9c0f184f374c0f10c4a08eb;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
index 97ae32053..6fe73af6a 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
@@ -20,6 +20,9 @@ minidom.cmo: minidom.ml minidom.cmi
 minidom.cmx: minidom.ml minidom.cmi
 	ocamlopt -c $<
 
+ominidom.cmi: ominidom.mli
+	ocamlc -c $<
+
 ominidom.cmo: ominidom.ml
 	ocamlc -c $<