X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftable_options.ml;h=f2b00163574a7f731521294f77089d16dd450cbb;hb=11fd750e5f19e421768ec72c511b631e7b009365;hp=d1e08e74ae5fe17396ae7516ce6e947d6e43cbd0;hpb=f3a0235e4715d24d8e8b4053923d433e1d876851;p=tatoo.git diff --git a/src/table_options.ml b/src/table_options.ml index d1e08e7..f2b0016 100644 --- a/src/table_options.ml +++ b/src/table_options.ml @@ -1,15 +1,18 @@ open Arg - +let count = ref false let input_file : string option ref = ref None let output_file : string option ref = ref None let queries = ref [] -let set_string_option r s = r := Some s (*pas compris*) + +let set_string_option r s = r := Some s let specs = align [ - + "-c", Set count, + " write the number of results only"; + "--count", Set count, " "; "-d", String (set_string_option input_file), " specify the input document file [default stdin]"; "--doc", String (set_string_option input_file), " ";