From 4bf39fa93da250dacedf2a70946e66bd6add0a92 Mon Sep 17 00:00:00 2001
From: Liam Brady <lbrady@labn.net>
Date: Wed, 8 Oct 2025 14:41:17 -0400
Subject: [PATCH] docs: readthedocs build fix

Adds the missing sphinx-prompt dependency to the build process. This
dependency is part of the 'dev' dependency group, however, it is
currently not possible to install dependency groups to the system
site-package (either with pip or uv).

Signed-off-by: Liam Brady <lbrady@labn.net>
---
 readthedocs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/readthedocs.yml b/readthedocs.yml
index 3a5b4f7..c89ab78 100644
--- a/readthedocs.yml
+++ b/readthedocs.yml
@@ -8,5 +8,7 @@ build:
     #   - pip install uv
     post_install:
       - pip install --editable .
+      # Installing from dependency groups (e.g. 'dev') is not yet supported.
+      - pip install sphinx-prompt
 sphinx:
   configuration: doc/source/conf.py