Install flint before build docs in rtd

oscarbenjamin · oscarbenjamin · commit 12d70fa6e3a3 · 2024-08-29T22:31:44.000+01:00
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -16,6 +16,9 @@ build:
     # golang: "1.19"
   apt_packages:
     - libflint-dev
+  jobs:
+    pre_build:
+      - pip install .
 
 # Build documentation in the "docs/" directory with Sphinx
 sphinx:
