X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitamake.ml;fp=helm%2Fsoftware%2Fmatita%2Fmatitamake.ml;h=09bc6c70b78735d4bfd81d60f0f2ac6adb8de796;hb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;hp=36cf79b365aadf6028a6d5d91506a5a23ba41c93;hpb=d8f4d935054a6f9fff6de0c171dc4a181389219e;p=helm.git

diff --git a/helm/software/matita/matitamake.ml b/helm/software/matita/matitamake.ml
index 36cf79b36..09bc6c70b 100644
--- a/helm/software/matita/matitamake.ml
+++ b/helm/software/matita/matitamake.ml
@@ -96,6 +96,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 +118,7 @@ let main () =
     "list", list_dev;
     "destroy", destroy_dev;
     "build", build_dev;
+    "publish", publish_dev;
   ]
   in
   usage := MatitaInit.die_usage;
@@ -117,8 +126,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")
-