From f1575870b073d57d0b6121f0764d6bb70c1730ae Mon Sep 17 00:00:00 2001
From: Stephen Finucane <stephen@that.guru>
Date: Wed, 4 Oct 2023 10:09:32 +0100
Subject: [PATCH] readthedocs: Switch back to DirHTML builder

Looks like this got lost in the switch to the '.readthedocs.yaml'
configuration file.

Signed-off-by: Stephen Finucane <stephen@that.guru>
---
 .readthedocs.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index ed3d202b..e19fe966 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -3,6 +3,8 @@ version: 2
 python:
   install:
     - requirements: docs/requirements.txt
+sphinx:
+  builder: "dirhtml"
 build:
   os: "ubuntu-22.04"
   tools: