From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 13 May 2005 11:08:33 +0000 (+0000)
Subject: added "all" table meaning "act on all tables"
X-Git-Tag: single_binding~70
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0afd42c06451194ce1849abf57bf56fe7ec6ae88;p=helm.git

added "all" table meaning "act on all tables"
---

diff --git a/helm/ocaml/metadata/table_creator/table_creator.ml b/helm/ocaml/metadata/table_creator/table_creator.ml
index 6cd9da9bf..6384d5408 100644
--- a/helm/ocaml/metadata/table_creator/table_creator.ml
+++ b/helm/ocaml/metadata/table_creator/table_creator.ml
@@ -9,7 +9,8 @@ let map =
 
 let usage argv_o =
   prerr_string "\nusage:";
-  prerr_string ("\t" ^ argv_o ^ " [-index] tablename[=rename]\n\n");
+  prerr_string ("\t" ^ argv_o ^ " [-index] tablename[=rename]\n");
+  prerr_string ("\t" ^ argv_o ^ " [-index] all\n\n");
   prerr_string "known tables:";
   List.iter (fun (n,_) -> prerr_string (" " ^ n)) map;
   prerr_endline "\n"
@@ -48,6 +49,7 @@ let main () =
       in
       let from, index = if Sys.argv.(1) = "-index" then 2,true else 1,false in
       let todo = Array.to_list (Array.sub Sys.argv from (len - from)) in
+      let todo = match todo with ["all"] -> List.map fst map | todo -> todo in
       let todo = parse_args todo in
       let todo = List.map (fun (x,name) -> name, (List.assoc x map)) todo in
       print_endline (String.concat "\n" (tab todo));