- (** create a list of directories, building also parents as needed *)
-val mkdirs: string list -> unit
+ (** create a directory, building also parents if needed
+ * @raise Failure when unable to create some directory *)
+val mkdir: string -> unit
+
+val qualify: MatitaTypes.status -> string -> string