From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 22 Feb 2006 23:22:09 +0000 (+0000)
Subject: improved comment of HExtlib.find
X-Git-Tag: 0.4.95@7852~1632
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2e2ce89ad33092676c91fc65960614dc1bcc5bb6;p=helm.git

improved comment of HExtlib.find
---

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} *)