docs: Add man page shortcuts

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index b12fd0fccff90e1d3dd73d62b11f4f0294ccf274..a4e55be5d235eca75abcb1cb4d0859be202212d6 100644 (file)
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -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()
         )