From: Stefano Zacchiroli Date: Wed, 22 Feb 2006 23:22:09 +0000 (+0000) Subject: improved comment of HExtlib.find X-Git-Tag: make_still_working~7534 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3ac6bc155124578e9f9323172b8b474ecb32869;p=helm.git improved comment of HExtlib.find --- 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} *)