From 3c5c1885b52ab5e33ff63871bc4ef5fa275a900e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 1 Jul 2005 15:01:38 +0000
Subject: [PATCH] ma -> moo in dependencies

---
 helm/matita/matitadep.ml | 3 +++
 1 file changed, 3 insertions(+)

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)
-- 
2.39.2