diff --git a/docs/developer-guide.md b/docs/developer-guide.md
index 72e64ce4a..0c6e9a5d5 100644
--- a/docs/developer-guide.md
+++ b/docs/developer-guide.md
@@ -20,7 +20,7 @@
 
 In order to compile EduMIPS64, you need the Java JDK version 17 or above.
 
-To build the user documentation, you'll need Python 3 with pip.
+To build the user documentation, you'll need Python 3.9+ with pip.
 
 [Gradle](https://gradle.org/) will download the following dependencies:
 
diff --git a/docs/requirements.txt b/docs/requirements.txt
index c71e243fc..05ea6824f 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,2 +1,2 @@
-sphinx==7.2.2
+sphinx==7.1.2
 rst2pdf==0.101
\ No newline at end of file