diff options
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rw-r--r-- | Doc/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 9cb227230f..27b63c6c08 100644 --- a/.travis.yml +++ b/.travis.yml @@ -37,7 +37,7 @@ matrix: - TESTING=docs before_script: - cd Doc - - make venv PYTHON=python3 + - make venv script: - make check suspicious html PYTHON="./venv/bin/python" SPHINXBUILD="./venv/bin/python -m sphinx" SPHINXOPTS="-q" - os: linux diff --git a/Doc/Makefile b/Doc/Makefile index 6e1c183040..eb62df5b87 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -4,7 +4,7 @@ # # You can set these variables from the command line. -PYTHON = python +PYTHON = python3 SPHINXBUILD = sphinx-build PAPER = SOURCES = |