diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index cef3d888f..fd184371c 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -4,10 +4,10 @@
 
 version: 2
 
-#build:
-#  os: "ubuntu-20.04"
-#  tools:
-#    python: "3.9"
+build:
+  os: "ubuntu-20.04"
+  tools:
+    python: "3.9"
 
 # Build from the docs/VerifStrat/source directory with Sphinx
 sphinx: