X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitamakeLib.mli;h=8f6fda2e47181aeed0a9550bbae8a6ee6aa3b8dd;hb=3afba626a38de3f42d5efcfa0786a2162e77f1d4;hp=89a5e3b5f1dc9e27f7113f96e0f06bce2a73571e;hpb=ef08e2dc4458a7db58575e1694e580c1a8e39a9b;p=helm.git

diff --git a/helm/software/matita/matitamakeLib.mli b/helm/software/matita/matitamakeLib.mli
index 89a5e3b5f..8f6fda2e4 100644
--- a/helm/software/matita/matitamakeLib.mli
+++ b/helm/software/matita/matitamakeLib.mli
@@ -59,3 +59,4 @@ val name_for_development : development -> string
 (** @return dot file for a given development, if it exists *)
 val dot_for_development : development -> string option
 
+val normalize_path: string -> string