From 20296ce1310022bfddb5aee968049fc01434bc76 Mon Sep 17 00:00:00 2001
From: Fernando Verdugo <fv3rdugo@gmail.com>
Date: Fri, 10 Nov 2023 23:39:09 +0100
Subject: [PATCH] Update requirements.txt

---
 docs/requirements.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index c6d34064a..4d6170446 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,2 +1,3 @@
 breathe
+sphinx-prompt
 sphinx_rtd_theme