From 460a30bbac9e87274aa2bf574471eb6d6081f82d Mon Sep 17 00:00:00 2001 From: Eric Wasylishen Date: Sat, 24 Sep 2022 20:56:08 -0600 Subject: [PATCH] ci: workaround docs build error workaround for https://github.com/readthedocs/sphinx_rtd_theme/issues/1343 --- build-appveyor.ps1 | 2 +- build-linux-64.sh | 2 +- build-osx.sh | 2 +- build-windows.ps1 | 2 +- docs/requirements.txt | 2 ++ 5 files changed, 6 insertions(+), 4 deletions(-) create mode 100644 docs/requirements.txt diff --git a/build-appveyor.ps1 b/build-appveyor.ps1 index a3e1bf02..101658d3 100644 --- a/build-appveyor.ps1 +++ b/build-appveyor.ps1 @@ -9,7 +9,7 @@ $env:Path += ";C:\Program Files\Git\usr\bin" py -m venv ericwtools-env Set-ExecutionPolicy -ExecutionPolicy RemoteSigned -Scope CurrentUser ericwtools-env\Scripts\Activate.ps1 -python.exe -m pip install sphinx_rtd_theme +python.exe -m pip install -r docs/requirements.txt --force-reinstall # Confirm Sphinx is installed get-command sphinx-build diff --git a/build-linux-64.sh b/build-linux-64.sh index 751034a8..57431045 100755 --- a/build-linux-64.sh +++ b/build-linux-64.sh @@ -1,6 +1,6 @@ #!/bin/bash -python3 -m pip install sphinx_rtd_theme +python3 -m pip install -r docs/requirements.txt --force-reinstall export PATH="~/.local/bin/:$PATH" BUILD_DIR=build-linux diff --git a/build-osx.sh b/build-osx.sh index e733bc3b..a5967b6d 100755 --- a/build-osx.sh +++ b/build-osx.sh @@ -3,7 +3,7 @@ # for sha256sum, used by the tests brew install coreutils -python3 -m pip install sphinx_rtd_theme +python3 -m pip install -r docs/requirements.txt --force-reinstall BUILD_DIR=build-osx EMBREE_ZIP="https://github.com/embree/embree/releases/download/v3.13.0/embree-3.13.0.x86_64.macosx.zip" diff --git a/build-windows.ps1 b/build-windows.ps1 index e7b48820..d13b6495 100644 --- a/build-windows.ps1 +++ b/build-windows.ps1 @@ -10,7 +10,7 @@ git submodule update --init --recursive py -m venv ericwtools-env Set-ExecutionPolicy -ExecutionPolicy RemoteSigned -Scope CurrentUser ericwtools-env\Scripts\Activate.ps1 -python.exe -m pip install sphinx_rtd_theme +python.exe -m pip install -r docs/requirements.txt --force-reinstall # Confirm Sphinx is installed get-command sphinx-build diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 00000000..474f72e6 --- /dev/null +++ b/docs/requirements.txt @@ -0,0 +1,2 @@ +sphinx==5.1.1 +sphinx_rtd_theme==1.0.0 \ No newline at end of file