Update .readthedocs.yaml

MikeOpenHWGroup · web-flow · commit 2dd5594be3f8 · 2023-08-23T12:04:06.000-04:00
Explicitly specifying build.os is a required by RTD.
diff --git 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:
