]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
doc: add missing continue if pandoc is not available
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Thu, 9 Jan 2025 21:59:58 +0000 (22:59 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 10 Jan 2025 10:01:45 +0000 (11:01 +0100)
Without the continue, the run on the next line will call die if pandoc is not
available, thus breaking the fallback for subsequent formats.

mkosi/documentation.py

index e7af43b02a801b980de19ec7ae6f13bab4f4ebb8..41a6652c8760bb48d106d1e9c695818519703ca8 100644 (file)
@@ -29,7 +29,8 @@ def show_docs(
                 return
             elif form == DocFormat.pandoc:
                 if not find_binary("pandoc"):
-                    logging.error("pandoc is not available")
+                    logging.warn("pandoc is not available")
+                    continue
                 pandoc = run(
                     ["pandoc", "-t", "man", "-s", resources / f"man/{manual}.{man_chapter}.md"],
                     stdout=subprocess.PIPE,