X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2Flibrarian.mli;h=90b7ef168e64a265a1f24400a4846fa5ea2c0568;hb=4a62bde42e3655a7829b9281d9b9057dc32c0471;hp=5280dbbf8a4c0460647380d4ad08117731ca025e;hpb=c780c9756b67d116b1d5b5149ae758fa613c5fe6;p=helm.git

diff --git a/components/library/librarian.mli b/components/library/librarian.mli
index 5280dbbf8..90b7ef168 100644
--- a/components/library/librarian.mli
+++ b/components/library/librarian.mli
@@ -4,11 +4,13 @@ val find_root: string -> string
 
 val parse_root: string -> (string*string) list
 
-(* baseuri_of_script ?(inc:REG[matita.includes]) fname -> root, buri, fullpath 
+(* baseuri_of_script ?(inc:REG[matita.includes]) fname 
+ *   -> 
+ * root, buri, fullpath, rootrelativepath
  * sample: baseuri_of_script a.ma -> /home/pippo/devel/, cic:/matita/a,
  * /home/pippo/devel/a.ma *)
 val baseuri_of_script: 
-  ?include_paths:string list -> string -> string * string * string
+  ?include_paths:string list -> string -> string * string * string * string
 
 (* finds all the roots files in the specified dir *)
 val find_roots_in_dir: string -> string list