From ea9b2699aeeb95ba29f8b4f98f2f8a50f0093d47 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 --- matita/matitaInit.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml index 44b09b5ae..6ef5a3bc4 100644 --- a/matita/matitaInit.ml +++ b/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