ma -> moo in dependencies

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index c1ccce7808c9cdacc1c79baa21bcb96460efc562..fbbfc137b2c47600caac850560a1750d893cbd07 100644 (file)
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -60,6 +60,9 @@ let main () =
     let deps = Hashtbl.find_all deps file in
     let deps = List.fast_sort Pervasives.compare deps in
     let deps = MatitaMisc.list_uniq deps in
+    let deps = 
+      List.map (fun x -> Pcre.replace ~pat:"ma$" ~templ:"moo" x) deps 
+    in
     let deps = file :: deps in
     Printf.printf "%s: %s\n" (MatitaMisc.obj_file_of_script file)
       (String.concat " " deps)