added support for single target

[helm.git] / make / make.mli

diff --git a/make/make.mli b/make/make.mli
index 8830a8319fbee31d06720be7a6ab713777ef35c4..5346c82e7e27ce84ae69edf93790deeb5de8d52c 100644 (file)
--- a/make/make.mli
+++ b/make/make.mli
@@ -14,5 +14,7 @@ module type Format =
 module Make :
   functor (F : Format) ->
     sig
-      val make : (F.source_object * F.source_object list) list -> unit
+      (* make [deps] [targets], targets = [] means make all *)
+      val make : (F.source_object * F.source_object list) list ->
+                 F.source_object list ->  unit
     end