X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitamake.ml;h=ad4368738c4e160277c71cd217c987f4b3680b26;hb=b2abc81f0b76224f6f4f526feaf1fefd6178ae7d;hp=36cf79b365aadf6028a6d5d91506a5a23ba41c93;hpb=3da15a10eadcba9a0d9cef36f2e66e6c9b076d32;p=helm.git

diff --git a/matita/matitamake.ml b/matita/matitamake.ml
index 36cf79b36..ad4368738 100644
--- a/matita/matitamake.ml
+++ b/matita/matitamake.ml
@@ -28,9 +28,7 @@
 module MK = MatitamakeLib ;;
 
 let main () =
-  MatitaInit.fill_registry ();
-  MatitaInit.parse_cmdline ();
-  MatitaInit.load_configuration_file ();
+  MatitaInit.parse_cmdline_and_configuration_file ();
   MK.initialize ();
   let usage = ref (fun () -> ()) in
   let dev_of_name name = 
@@ -96,6 +94,14 @@ let main () =
     | true -> exit 0
     | false -> exit 1
   in
+  let publish_dev args = 
+    if List.length args <> 1 then !usage ();
+    let name = (List.hd args) in
+    let dev = dev_of_name name in
+    match MK.publish_development dev with
+    | true -> exit 0
+    | false -> exit 1
+  in
   let target args = 
     if List.length args < 1 then !usage ();
     let dev = dev_for_dir (Unix.getcwd ()) in
@@ -110,6 +116,7 @@ let main () =
     "list", list_dev;
     "destroy", destroy_dev;
     "build", build_dev;
+    "publish", publish_dev;
   ]
   in
   usage := MatitaInit.die_usage;
@@ -117,8 +124,12 @@ let main () =
     match args with
     | [] -> target [ "all" ]
     | s :: tl ->
-        try (List.assoc s params) tl
-        with Not_found -> if s.[0] = '-' then !usage () else target args
+        let f, args = 
+          try 
+            (List.assoc s params), tl
+          with Not_found -> 
+            if s.[0] = '-' then (!usage ();assert false) else target, args
+        in
+        f args
   in
   parse (Helm_registry.get_list Helm_registry.string "matita.args")
-