ensure that everyone is using the same doc tools

Signed-off-by: mateoconlechuga <[email protected]>

Author: mateoconlechuga

.github/workflows/make.yml

@@ -305,8 +305,6 @@ jobs:
         if: runner.os == 'Linux'
         run: |
           sudo apt-get install -y doxygen
-          pip install docutils==0.16
-          pip install sphinx==3.2.1 sphinx_rtd_theme breathe
           cmake -E echo >> $${{matrix.env}}GITHUB_PATH $${{matrix.env}}HOME/.local/bin
 
       - name: Checkout Toolchain
@@ -316,6 +314,9 @@ jobs:
           persist-credentials: false
           fetch-depth: 0
 
+      - name: Install Sphinx Dependencies
+          pip install -r ${{env.TOOLCHAIN_PATH}}/docs/requirements.txt
+
       - name: Build Website Documentation
         run: make -C ${{env.TOOLCHAIN_PATH}} docs
       - name: Disable Jekyll

docs/requirements.txt

@@ -0,0 +1,5 @@
+docutils==0.16
+sphinx==3.3.1
+sphinx_rtd_theme==1.0.0
+breathe==4.22.0
+Jinja2==3.0.3