diff --git a/mps/.readthedocs.yaml b/mps/.readthedocs.yaml
index 1325184f409..7d8f56dafd9 100644
--- a/mps/.readthedocs.yaml
+++ b/mps/.readthedocs.yaml
@@ -4,7 +4,8 @@
 
 version: 2
 
-formats: all
+formats:
+  - html
 
 build:
   os: ubuntu-22.04