diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-02-13 20:59:30 -0800 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2019-02-20 09:35:10 +0000 |
commit | 0be7451ddb82e31d5dd140756b185d1f3d85d4c7 (patch) | |
tree | 9e55f43db2baf5402cd83b27293a534b5cd0ce78 /docs/scripts/sphinx-make.sh | |
parent | 2cc29a5264d22185a97190eeb820a7ce4978eaf7 (diff) |
docs: use python3 for make docs.
Change-Id: If62b5ef563523b400fb5160d0343210407905094
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs/scripts/sphinx-make.sh')
-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` |