aboutsummaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorPaul Vinciguerra <pvinci@vinciconsulting.com>2019-02-13 20:59:30 -0800
committerDamjan Marion <dmarion@me.com>2019-02-20 09:35:10 +0000
commit0be7451ddb82e31d5dd140756b185d1f3d85d4c7 (patch)
tree9e55f43db2baf5402cd83b27293a534b5cd0ce78 /docs
parent2cc29a5264d22185a97190eeb820a7ce4978eaf7 (diff)
docs: use python3 for make docs.
Change-Id: If62b5ef563523b400fb5160d0343210407905094 Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs')
-rwxr-xr-xdocs/scripts/sphinx-make.sh6
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`