added development path normalization, inclusions with '../' in the path should now...

[helm.git] / matita / matitamakeLib.mli

diff --git a/matita/matitamakeLib.mli b/matita/matitamakeLib.mli
index 89a5e3b5f1dc9e27f7113f96e0f06bce2a73571e..8f6fda2e47181aeed0a9550bbae8a6ee6aa3b8dd 100644 (file)
--- 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