X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaInit.ml;h=19927a37e683e25f10c0a44e4c7fe2e7ce8a7535;hb=396c57fd76a6a3386c7c0fce37787fc188e006bf;hp=a135fec803e9b5e7028276d93d4c7186d758866d;hpb=3da15a10eadcba9a0d9cef36f2e66e6c9b076d32;p=helm.git

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index a135fec80..19927a37e 100644
--- a/matita/matitaInit.ml
+++ b/matita/matitaInit.ml
@@ -126,6 +126,11 @@ let _ =
     [ "matitac", 
         sprintf "MatitaC v%s
 Usage: matitac [ OPTION ... ] FILE
+Options:"
+          BuildTimeConf.version;
+      "gragrep",
+        sprintf "Grafite Grep v%s
+Usage: gragrep [ -r ] PATH
 Options:"
           BuildTimeConf.version;
       "matita",
@@ -190,6 +195,9 @@ let usage () =
   in
   try Hashtbl.find usages usage_key with Not_found -> default_usage
 
+let extra_cmdline_specs = ref []
+let add_cmdline_spec l = extra_cmdline_specs := l @ !extra_cmdline_specs
+
 let parse_cmdline init_status =
   if not (already_configured [CmdLine] init_status) then begin
     let includes = ref [ BuildTimeConf.stdlib_dir ] in
@@ -238,7 +246,7 @@ let parse_cmdline init_status =
           ]
         else []
       in
-      std_arg_spec @ debug_arg_spec
+      std_arg_spec @ debug_arg_spec @ !extra_cmdline_specs
     in
     let set_list ~key l =
       Helm_registry.set_list Helm_registry.of_string ~key ~value:(List.rev !l)