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 | |
| parent | 2cc29a5264d22185a97190eeb820a7ce4978eaf7 (diff) | |
docs: use python3 for make docs.
Change-Id: If62b5ef563523b400fb5160d0343210407905094
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
| -rw-r--r-- | Makefile | 1 | ||||
| -rwxr-xr-x | docs/scripts/sphinx-make.sh | 6 |
2 files changed, 4 insertions, 3 deletions
@@ -100,6 +100,7 @@ else RPM_DEPENDS += yum-utils RPM_DEPENDS += openssl-devel RPM_DEPENDS += python-devel python34-ply + RPM_DEPENDS += python34-devel python34-pip RPM_DEPENDS += python-virtualenv RPM_DEPENDS += devtoolset-7 RPM_DEPENDS += cmake3 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` |