From 71ed854d1e9474e92431af7854dba1f026b3477d Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <me@steffo.eu>
Date: Fri, 20 Jan 2023 12:11:52 +0100
Subject: [PATCH] Add `sphinx` and `sphinx_rtd_theme` as deps for a new `docs`
 extra

---
 setup.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/setup.py b/setup.py
index a6984ffd2..a2990a7a3 100755
--- a/setup.py
+++ b/setup.py
@@ -128,6 +128,10 @@ setup(
             'types-requests',
             'types-Flask-Cors',
         ],
+        'docs': [
+            'sphinx',
+            'sphinx_rtd_theme',
+        ],
 
         # Plugin (optional) dependencies:
         'absubmit': ['requests'],