summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xdocs/scripts/sphinx-make.sh2
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