From e7e96901b9a129b2cc1836aba7ce895afbd0972e Mon Sep 17 00:00:00 2001
From: Ben Webb <ben.webb@opendataservices.coop>
Date: Tue, 30 Jan 2024 21:25:49 +0000
Subject: [PATCH] readthedocs: Switch the builder to dirhtml

I will also set up redirects from the old to the new, as described at
https://docs.readthedocs.io/en/stable/user-defined-redirects.html#changing-your-sphinx-builder-from-html-to-dirhtml
---
 .readthedocs.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 16cafd2..85c842c 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -18,6 +18,7 @@ build:
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
   configuration: docs/conf.py
+  builder: dirhtml
 
 # If using Sphinx, optionally build your docs in additional formats such as PDF
 # formats: