Merge pull request #7508 from dhalbert/fix-rtd

Fix broken RTD builds

Author: microdev1

.readthedocs.yml

@@ -14,7 +14,7 @@ build:
         python: "3"
     jobs:
         post_install:
-            - python tools/ci_fetch_deps.py docs HEAD
+            - python tools/ci_fetch_deps.py build-doc
 
 formats:
     - pdf