From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 1 Jul 2005 15:01:38 +0000 (+0000)
Subject: ma -> moo in dependencies
X-Git-Tag: PRE_GETTER_STORAGE~54
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3c5c1885b52ab5e33ff63871bc4ef5fa275a900e;p=helm.git

ma -> moo in dependencies
---

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index c1ccce780..fbbfc137b 100644
--- 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)