X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Ftop.ml;h=b66146b2ea9e375ea9b729b3eee5c9c9d7658ff6;hb=2bcf927f58bac034b8758173cdbd16cb7475de36;hp=c92b71512e05ffdb47432702cae54e31887011e2;hpb=f620bf94af6c347926ed1c2328462efab7018b21;p=helm.git

diff --git a/helm/software/components/binaries/transcript/top.ml b/helm/software/components/binaries/transcript/top.ml
index c92b71512..b66146b2e 100644
--- a/helm/software/components/binaries/transcript/top.ml
+++ b/helm/software/components/binaries/transcript/top.ml
@@ -32,7 +32,12 @@ let main =
    let help_p = " verbose parsing" in
    let help_x = " verbose character escaping" in
    let set_cwd dir = Options.cwd := dir; Engine.init () in
-   let process_package package = Engine.produce (Engine.make package) in
+   let process_file file =
+      if Sys.file_exists file || Sys.file_exists (file ^ Engine.suffix) then
+         begin Engine.produce (Engine.make file); Options.sources := [] end
+      else
+         Options.sources := file :: !Options.sources
+   in
    Arg.parse [
       ("-C", Arg.String set_cwd, help_C);
       ("-g", Arg.Set Options.getter, help_g);
@@ -40,4 +45,4 @@ let main =
       ("-m", Arg.Clear Options.comments, help_m);
       ("-p", Arg.Set Options.verbose_parser, help_p);
       ("-x", Arg.Set Options.verbose_escape, help_x);
-   ] process_package help
+   ] process_file help