diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 5aa28d827..16b13b3f0 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -21,7 +21,7 @@ jobs: - name: Setup and build run: | sudo apt-get install python3-pip - pip3 install sphinx==5.3.0 sphinx-vhdl sphinx_rtd_theme GitPython + pip3 install sphinx sphinx-vhdl sphinx_rtd_theme GitPython mkdir public mkdir public/html cp doc/source/index.html public/html/