From 627dc5c065fe2471918428be5258dc30d76fda4b Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=B6rg=20Behrmann?= Date: Mon, 30 Sep 2024 15:22:41 +0200 Subject: [PATCH] docs: Add man page shortcuts --- mkosi/__init__.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/mkosi/__init__.py b/mkosi/__init__.py index b12fd0fcc..a4e55be5d 100644 --- 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() ) -- 2.47.2