X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatitadep%2Fmatitadep.ml;h=00a2f926857cee62ee1d6062f1a0a01d7a6528bb;hb=54fa4874fc4bfccd061b40d8353cd75a578e99ae;hp=4e0651be4e19541e473b1c11db3b3bb3ac0de09a;hpb=56e23ea031f695e40879053ff09e97ecec2507e1;p=helm.git

diff --git a/matita/components/binaries/matitadep/matitadep.ml b/matita/components/binaries/matitadep/matitadep.ml
index 4e0651be4..00a2f9268 100644
--- a/matita/components/binaries/matitadep/matitadep.ml
+++ b/matita/components/binaries/matitadep/matitadep.ml
@@ -81,7 +81,17 @@ let leaf () =
    StringSet.iter iter fnames
 
 let rec read ich = 
-   let _ = Scanf.sscanf (input_line ich) "%s@:include \"%s@\"." init in
+   let line = input_line ich in
+   begin try Scanf.sscanf line "%s@:include \"%s@\"." init 
+   with Scanf.Scan_failure _ ->
+      begin try Scanf.sscanf line "./%s@:include \"%s@\"." init
+      with Scanf.Scan_failure _ ->   
+         begin try Scanf.sscanf line "%s@:(*%s@*)" (fun _ _ -> ())
+         with Scanf.Scan_failure _ ->
+	    Printf.eprintf "unknown line: %s.\n" line
+         end
+      end  
+   end;
    read ich
    
 let _ =