From 00eb3ff66cfc92309f9924e664699aee5e85ec4b Mon Sep 17 00:00:00 2001
From: Tom Krizek <tkrizek@isc.org>
Date: Wed, 18 Oct 2023 10:42:49 +0200
Subject: [PATCH] Update readthedocs config

Doc builds on readthedocsc.org were still failing because of the missing
`build.os` key. Update the config to conform with the recommendations
from https://docs.readthedocs.io/en/stable/config-file/v2.html
---
 .readthedocs.yaml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 05494f1..8197b29 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -1,3 +1,14 @@
+# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
+
 version: 2
+
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.12"
+
 mkdocs:
   configuration: mkdocs.yml
+
+# Build all formats
+formats: all
-- 
GitLab