X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2FMakefile;h=461eb0fb2378b8c1aebe111de205109b89f4de2b;hb=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=7339eaf418da5b2387a42cf4a5c7d57f302dc4c9;hpb=04168c737e0916ebdbcdb1457f228bef670c657b;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 7339eaf41..461eb0fb2 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -225,6 +225,10 @@ matitadaemon.opt: matitadaemon.ml $(WLIBX_DEPS) $(WCMXS) $(MAINCMXS)
 	$(H)echo "  OCAMLOPT $<"
 	$(H)$(OCAMLOPT) $(WPKGS) -linkpkg -o $@ $(WCMXS) $(MAINCMXS) matitadaemon.ml
 
+webdb_convert: webdb_convert.ml $(WLIB_DEPS) $(WCMOS) $(MAINCMOS)
+	$(H)echo "  OCAMLC $<"
+	$(H)$(OCAMLC) $(WPKGS) -linkpkg -o $@ $(WCMOS) $(MAINCMOS) webdb_convert.ml
+
 rottener: rottener.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 	$(H)echo "  OCAMLC $<"
 	$(H)$(OCAMLC) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMOS) $(MAINCMOS) rottener.ml