From e55a4766ac12745dd764cb07d494b27fa2040238 Mon Sep 17 00:00:00 2001
From: Lele Gaifax <lele@metapensiero.it>
Date: Wed, 10 Apr 2024 14:55:19 +0200
Subject: [PATCH] Attempt to fix compilation of documentation on
 readthedocs.org

By chance I noticed that several "pages" are empty on rtd.org, because
the Sphinx build fails because the pglast itself is not installed in the
virtual environment.
---
 .readthedocs.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 1b399c4..bec1e58 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -15,5 +15,11 @@ build:
   tools:
     python: "3.11"
 
+python:
+  install:
+    - requirements: requirements.txt
+    - method: pip
+      path: .
+
 sphinx:
   configuration: docs/conf.py