From 3a2b3fdd767981a9330a95f70b6d9cf0c778e3f2 Mon Sep 17 00:00:00 2001
From: Mathieu Durero <mathieu.durero@dgfip.finances.gouv.fr>
Date: Thu, 20 Jun 2024 14:27:11 +0200
Subject: [PATCH] Short option format and doc

---
 src/irj_checker/irj_checker.ml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/irj_checker/irj_checker.ml b/src/irj_checker/irj_checker.ml
index 17375bb63..b028f21ef 100644
--- a/src/irj_checker/irj_checker.ml
+++ b/src/irj_checker/irj_checker.ml
@@ -14,9 +14,10 @@
    this program. If not, see <https://www.gnu.org/licenses/>. *)
 
 (** The Irj_checker Module is a simple entry point to use the Mlang IRJ file
-    parser in order to perform syntactic checks on test files.
+    parser in order to perform syntactic checks on test files or produce other IR
+    test formats.
 
-    Usage: irj_checker.exe <test_file.irj>*)
+    Usage: irj_checker.exe [--message-format=VAL] <test_file.irj> [transformation-target]*)
 
 open Cmdliner
 open Mlang
@@ -61,7 +62,7 @@ let message_format =
   Arg.(
     value
     & opt (enum message_format_opt) Human
-    & info [ "message-format" ]
+    & info [ "m"; "message-format" ]
         ~doc:
           "Selects the format of error and warning messages emitted by the \
            compiler. If set to $(i,human), the messages will be nicely \
@@ -78,7 +79,8 @@ let transformation_target_opt =
 let transform_target =
   let doc =
     "Transformation target, among the following list: $(i,none) (only checks \
-     test syntax), $(i,pasp), $(i,pasc)."
+     test syntax), $(i,pasp) (API PAS-CALC for primitive computation resources), \
+     $(i,pasc) (API PAS-CALC for corrective computation resources)."
   in
   Arg.(
     value