2 files changed, 0 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index cdccd5a9e8c1..6377a4bfae45 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -19,7 +19,6 @@ pkgbase = bitwuzla
 	makedepends = python-sphinx_rtd_theme
 	makedepends = python-sphinxcontrib-bibtex
 	makedepends = python>=3.7
-	makedepends = python-sphinx
 	makedepends = symfpu-cvc5
 	depends = gcc-libs
 	depends = glibc
diff --git a/PKGBUILD b/PKGBUILD
index 923a310b38b7..da0510fcc4cf 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -26,7 +26,6 @@ makedepends=(
     'python-sphinx_rtd_theme'
     'python-sphinxcontrib-bibtex'
     'python>=3.7'
-    'python-sphinx'
     'symfpu-cvc5'
 )
 checkdepends=('gtest' 'python-pytest')