From c3ac6bc155124578e9f9323172b8b474ecb32869 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 22 Feb 2006 23:22:09 +0000 Subject: [PATCH] improved comment of HExtlib.find --- helm/software/components/extlib/hExtlib.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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} *) -- 2.39.2