]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
Initial revision
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.2.1 / minidom / Makefile
index 97ae32053b115e8301a80f5877d25c865fe86fb8..6fe73af6a3a311569826b4349e1c1ec01b529177 100644 (file)
@@ -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 $<