X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2FmatitamakeLib.mli;h=8f6fda2e47181aeed0a9550bbae8a6ee6aa3b8dd;hb=01b688447c18c1992b0c19ac5583ca9fee692514;hp=89a5e3b5f1dc9e27f7113f96e0f06bce2a73571e;hpb=1a613a4c0b68938f0ced6e190adffa805d1b5680;p=helm.git

diff --git a/matita/matitamakeLib.mli b/matita/matitamakeLib.mli
index 89a5e3b5f..8f6fda2e4 100644
--- a/matita/matitamakeLib.mli
+++ b/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