Stefan Hansson d6834e89f3 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 <newbyte@postmarketos.org> Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7982>		2026-02-11 01:01:45 +00:00
..
approval-rules.md	docs: cover some more edge cases in the approval rules	2026-01-19 14:29:14 +00:00
ci-tags.md	docs: Mark [ci:ignore-count] as removed	2026-01-23 13:47:00 +00:00
conf.py	docs: raise exception if dint reports an error	2026-02-11 01:01:45 +00:00
device-categorization.md	docs: Clarify process for demoting devices	2025-11-12 21:34:26 +00:00
generic-kernels.md	docs: Add documentation on generic kernels	2026-01-26 10:58:25 +01:00
index.md	docs: Add documentation on generic kernels	2026-01-26 10:58:25 +01:00
kconfigcheck.md	docs: Document kconfigcheck and process for changing requirements	2026-01-13 18:00:57 +00:00
kernel-cmdline.md	docs: kernel-cmdline: clarify handling of config for multiple kernels	2026-01-27 12:33:05 -08:00
kernel-versions.md	docs: Add kernel version packaging recommendations	2025-11-05 11:21:33 +00:00
Makefile	docs: add auto-generated deviceinfo reference	2025-11-23 20:26:30 +00:00