X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2Flibrarian.mli;h=0e15e28bcc78dc5b88bdff6bc208e22d4939d23e;hb=a677e0d09755766c61ce9b30a98bec10cb8902b3;hp=f448e52b554f72e9578cf95261d0a5e7a789ee62;hpb=2b53a3735b2a6130726e0a0451993cd679fd5935;p=helm.git

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index f448e52b5..0e15e28bc 100644
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -70,7 +70,9 @@ module type Format =
     val string_of_target_object: target_object -> string
     val build: options -> source_object -> bool
     val root_and_target_of: 
-          options -> source_object -> string option * target_object
+          options -> source_object -> 
+	   (* root, writeable target, read only target *)
+	   string option * target_object * target_object
     val mtime_of_source_object: source_object -> float option
     val mtime_of_target_object: target_object -> float option
     val is_readonly_buri_of: options -> source_object -> bool