]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
docs: Add man page shortcuts 3082/head
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Mon, 30 Sep 2024 13:22:41 +0000 (15:22 +0200)
committerJörg Behrmann <behrmann@physik.fu-berlin.de>
Mon, 30 Sep 2024 13:26:13 +0000 (15:26 +0200)
mkosi/__init__.py

index b12fd0fccff90e1d3dd73d62b11f4f0294ccf274..a4e55be5d235eca75abcb1cb4d0859be202212d6 100644 (file)
@@ -4226,7 +4226,14 @@ def run_verb(args: Args, images: Sequence[Config], *, resources: Path) -> None:
         return print_completion(args, resources=resources)
 
     if args.verb == Verb.documentation:
-        manual = args.cmdline[0] if args.cmdline else "mkosi"
+        if args.cmdline:
+            manual = {
+                "initrd": "mkosi-initrd",
+                "sandbox": "mkosi-sandbox",
+                "news": "mkosi.news",
+            }.get(args.cmdline[0], args.cmdline[0])
+        else:
+            manual = "mkosi"
         formats: list[DocFormat] = (
             [args.doc_format] if args.doc_format != DocFormat.auto else DocFormat.all()
         )