X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitadep.ml;h=cf1519eae7511cb2fb6aceeb2127c19984192e24;hb=54e4c7dc896732bafcd907b0380d59efa0a181b7;hp=42034c1a880a785c38402757bceca72abc41c862;hpb=3c8a3783837bf7773437b12a089b8edf93879b5d;p=helm.git

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 42034c1a8..cf1519eae 100644
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -76,8 +76,9 @@ let main () =
          Sys.chdir (Filename.dirname x);
          HExtlib.find ~test:(fun x -> Filename.check_suffix x ".ma") "."
       | _ ->
-         prerr_endline ("Too many roots: " ^ String.concat ", " roots);
-         prerr_endline ("Enter one of these directories and retry");
+         let roots = List.map (HExtlib.chop_prefix (Sys.getcwd()^"/")) roots in
+         prerr_endline ("Too many roots found:\n\t" ^ String.concat "\n\t" roots);
+         prerr_endline ("\nEnter one of these directories and retry");
          exit 1
   in
   let ma_files = args in