diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/scripts/sphinx-make.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/scripts/sphinx-make.sh b/docs/scripts/sphinx-make.sh index 5a2e026e638..3dca88cd426 100755 --- a/docs/scripts/sphinx-make.sh +++ b/docs/scripts/sphinx-make.sh @@ -2,10 +2,10 @@ if [ "$1" == "venv" ] then - python -m pip install --user virtualenv - python -m virtualenv $VENV_DIR + python3 -m pip install --user virtualenv + python3 -m virtualenv $VENV_DIR source $VENV_DIR/bin/activate; - pip install -r $DOCS_DIR/etc/requirements.txt + python3 -m pip install -r $DOCS_DIR/etc/requirements.txt else source $VENV_DIR/bin/activate; VERSION=`source $WS_ROOT/src/scripts/version` |