readthedocs: Switch back to DirHTML builder

stephenfin · stephenfin · commit f1575870b073 · 2023-10-04T10:09:52.000+01:00
Looks like this got lost in the switch to the '.readthedocs.yaml'
configuration file.

Signed-off-by: Stephen Finucane &lt;stephen@that.guru&gt;
diff --git 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:
