Merge pull request #1478 from hannesm/put-keys-into-sections

Put runtime keys into "UNIKERNEL PARAMETERS" section
mirage · Nov 10, 2023 · 4939ca6 · 4939ca6
2 parents 7b573d7 + 6b2d4b6
commit 4939ca6
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/lib_runtime/mirage/mirage_runtime.ml b/lib_runtime/mirage/mirage_runtime.ml
@@ -209,7 +209,7 @@ let logs =
 
 let disk =
   let doc =
-    Arg.info
+    Arg.info ~docs:unikernel_section
       ~doc:
         "Name of the docteur disk (for Solo5 targets, the name must contains \
          only alpanumeric characters)."
@@ -219,15 +219,18 @@ let disk =
 
 let analyze =
   let doc =
-    Arg.info ~doc:"Analyze at the boot time the given docteur disk."
-      [ "analyze" ]
+    Arg.info ~docs:unikernel_section
+      ~doc:"Analyze at the boot time the given docteur disk." [ "analyze" ]
   in
   Arg.(value & opt bool true doc)
 
 (** {3 Initial delay} *)
 
 let delay =
-  let doc = Arg.info ~doc:"Delay n seconds before starting up" [ "delay" ] in
+  let doc =
+    Arg.info ~docs:unikernel_section ~doc:"Delay n seconds before starting up"
+      [ "delay" ]
+  in
   Arg.(value & opt int 0 doc)
 
 (* Hooks *)