X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=daemon%2Fdaemon.mli;h=d351ac285ad4644336ff95145c9d025e3871f304;hp=b7f7d57cc7cf38b94ab2b54f833aa327f009a749;hb=080d38e64fe2aaec17e3ff853682188196b429f9;hpb=77707acb12b5424488757569f376e1d9b58e5a22

diff --git a/daemon/daemon.mli b/daemon/daemon.mli
index b7f7d57..d351ac2 100644
--- a/daemon/daemon.mli
+++ b/daemon/daemon.mli
@@ -25,7 +25,8 @@ val init : string -> bool -> unit
       The parameters are [jobsdir] and [debug]. *)
 
 val reload_files : unit -> unit
-  (** (Re-)load the file(s) [$jobsdir/*.cmo].
+  (** (Re-)load the file(s) [$jobsdir/*.cmo] (in bytecode)
+      or [$jobsdir/*.cmxs] (in native code).
 
       This can raise [Failure] if the operation fails. *)