From d6834e89f3f25139c5c35b76b4fea119ff52a766 Mon Sep 17 00:00:00 2001 From: Stefan Hansson Date: Tue, 10 Feb 2026 09:45:41 +0100 Subject: [PATCH] docs: raise exception if dint reports an error Currently, even if dint fails for some reason, the documentation generation continues on. This is not good as it hides problems until someone manually discovers them. Fix this by checking the exit code of dint and raising an exception if it isn't zero. To facilitate this, also replace call() with run() since it's a more modern and more flexible API. Signed-off-by: Stefan Hansson Part-of: --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index c390d9fd0..e8f7f65cf 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -29,7 +29,7 @@ html_title = "postmarketOS Packaging" def run_dint_doc(app): with Path(__file__).parent.joinpath("deviceinfo-reference.md").open("w") as f: - subprocess.call(["dint", "doc"], stdout=f) + subprocess.run(["dint", "doc"], stdout=f, check=True) def setup(app):