From: Stephen Finucane <stephen@that.guru>
Date: Wed, 4 Oct 2023 09:09:32 +0000 (+0100)
Subject: readthedocs: Switch back to DirHTML builder
X-Git-Tag: v3.2.0~51
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f1575870b073d57d0b6121f0764d6bb70c1730ae;p=thirdparty%2Fpatchwork.git

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>
---

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: