X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=make%2Fmake.mli;h=5346c82e7e27ce84ae69edf93790deeb5de8d52c;hb=209184c83f7d290ceb43605598e09074b57d36f4;hp=8830a8319fbee31d06720be7a6ab713777ef35c4;hpb=8e0de4b1a47c3fe6a665eff743f819d20d7c3af8;p=helm.git

diff --git a/make/make.mli b/make/make.mli
index 8830a8319..5346c82e7 100644
--- 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