better documentation both with -h and with F1

[helm.git] / matita / matitadep.ml

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 42034c1a880a785c38402757bceca72abc41c862..cf1519eae7511cb2fb6aceeb2127c19984192e24 100644 (file)
--- 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