From 47ac62b2a4852b82598acd6ac2a9cd0654aa2748 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 15 Nov 2007 13:22:41 +0000 Subject: [PATCH] added --version to allow help2man --- helm/software/matita/matitaInit.ml | 3 +++ 1 file changed, 3 insertions(+) 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 -- 2.39.2