]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Show doc format options in help
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Wed, 19 Jun 2024 16:55:58 +0000 (18:55 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 22 Jul 2024 09:16:14 +0000 (11:16 +0200)
mkosi/config.py

index 00724f3c6b4c7e2a84b0466e33ea0cf790f85b2d..cfa606a78495fe39056f5ebb4c838c26b3ef73d3 100644 (file)
@@ -3307,6 +3307,7 @@ def create_argument_parser(chdir: bool = True) -> argparse.ArgumentParser:
         help="The format to show documentation in",
         default=DocFormat.auto,
         type=DocFormat,
+        choices=list(DocFormat),
     )
     parser.add_argument(
         "--shell-completion",