diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2021-08-17 15:11:43 -0400 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2021-08-17 15:11:43 -0400 |
| commit | b93782b36643714a8dcb53e2e396da642b1b0053 (patch) | |
| tree | 442783951f54a5aa2d5897b1591ecb9122948c49 /docs | |
| parent | 42cec0e451219c13002a28aa0a93c96853fb8fb7 (diff) | |
docs: fix missing dependency on pip-tools for docs-venv
Type: fix
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Change-Id: Iadb72fd0cb434a7ca2f6cbda7d78209f0746f0c6
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 |