X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fextlib%2FhExtlib.mli;h=17e2de2bc0c758603486bcc7dac5e4da14256876;hb=efa5deb1fc321a117344464ad73f59254d832fb9;hp=aed9b240693cdd4a9621984ddec60d1bbc4356b6;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/extlib/hExtlib.mli b/components/extlib/hExtlib.mli
index aed9b2406..17e2de2bc 100644
--- a/components/extlib/hExtlib.mli
+++ b/components/extlib/hExtlib.mli
@@ -41,7 +41,8 @@ val is_dir_empty: string -> bool (** checks if the dir is empty *)
 val rmdir_descend: string -> unit (** rmdir -p *)
 
 
-  (** find all _files_ matching test under a filesystem root *)
+  (** find all _files_ whose name matches test under a filesystem root.
+   * Test is passed the filename path relative to the given filesystem root *)
 val find: ?test:(string -> bool) -> string -> string list 
 
 (** {2 File I/O} *)