From: Enrico Tassi 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)