Doc/Makefile: set PYTHON to python3 (#124)

rstlint.py run by "make check" doesn't support Python 2.

"make venv" runs "$(PYTHON) -m venv", whereas Python 2 doens't
provide the venv module: it's a module of Python 3 standard library.

diff --git a/.travis.yml b/.travis.yml
index 9cb227230f8bc5b7fc7bc738539efd0e227483b6..27b63c6c08b37645d38c029a961bac2a0bd7ab68 100644 (file)
--- 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 6e1c18304080d6b0b893c83682e23bd6e2fedb7e..eb62df5b87cebebd28106ef8cb1919e32cbb6edf 100644 (file)
--- 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      =