diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/scripts/sphinx-make.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/scripts/sphinx-make.sh b/docs/scripts/sphinx-make.sh index e4fb572df97..532225e488e 100755 --- a/docs/scripts/sphinx-make.sh +++ b/docs/scripts/sphinx-make.sh @@ -13,6 +13,7 @@ fi OS_ID=$(grep '^ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') OS_VERSION=$(grep '^VERSION_ID=' /etc/os-release | cut -f2- -d= | sed -e 's/\"//g') PIP_VERSION=$(grep 'PIP_VERSION=' $WS_ROOT/test/Makefile | cut -d'=' -f2) +PIP_TOOLS_VERSION=$(grep 'PIP_TOOLS_VERSION=' $WS_ROOT/test/Makefile | cut -d'=' -f2) if [ "$1" == "venv" ] then @@ -21,6 +22,7 @@ then $PYTHON_INTERP -m venv $VENV_DIR source $VENV_DIR/bin/activate; $PYTHON_INTERP -m pip install pip==$PIP_VERSION + $PYTHON_INTERP -m pip install pip-tools==$PIP_TOOLS_VERSION $PYTHON_INTERP -m pip install -r $WS_ROOT/test/requirements-3.txt else [ -n "$(declare -f deactivate)" ] && deactivate |