X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FhExtlib.mli;h=17e2de2bc0c758603486bcc7dac5e4da14256876;hb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;hp=aed9b240693cdd4a9621984ddec60d1bbc4356b6;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli
index aed9b2406..17e2de2bc 100644
--- a/helm/software/components/extlib/hExtlib.mli
+++ b/helm/software/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} *)