improved comment of HExtlib.find

diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli
index aed9b240693cdd4a9621984ddec60d1bbc4356b6..17e2de2bc0c758603486bcc7dac5e4da14256876 100644 (file)
--- 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} *)