From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 15 Nov 2007 13:22:41 +0000 (+0000)
Subject: added --version to allow help2man
X-Git-Tag: make_still_working~5839
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=47ac62b2a4852b82598acd6ac2a9cd0654aa2748;p=helm.git

added --version to allow help2man
---

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 44b09b5ae..6ef5a3bc4 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -239,6 +239,8 @@ let parse_cmdline init_status =
     let reduce_verbosity () =
       Helm_registry.set_int "matita.verbosity"
         (Helm_registry.get_int "matita.verbosity" - 1) in
+    let print_version () =
+            Printf.printf "%s\n" BuildTimeConf.version;exit 0 in
     let increase_verbosity () =
       Helm_registry.set_int "matita.verbosity"
         (Helm_registry.get_int "matita.verbosity" + 1) in
@@ -272,6 +274,7 @@ let parse_cmdline init_status =
             ("Act on the system library instead of the user one"
              ^ "\n    WARNING: not for the casual user");
         "-v", Arg.Unit increase_verbosity, "Increase verbosity";
+        "--version", Arg.Unit print_version, "Prints version";
       ] in
       let debug_arg_spec =
         if BuildTimeConf.debug then