diff -r e10641c48fa7 -r 69c99898a48f tests/check-gendoc --- a/tests/check-gendoc Tue Dec 18 21:17:27 2018 -0500 +++ b/tests/check-gendoc Wed Dec 19 13:32:42 2018 -0500 @@ -4,8 +4,8 @@ echo ".. -*- coding: utf-8 -*-" > gendoc.txt echo "" >> gendoc.txt -LANGUAGE=$1 python "$TESTDIR/../doc/gendoc.py" >> gendoc.txt 2> /dev/null || exit +LANGUAGE=$1 "$PYTHON" "$TESTDIR/../doc/gendoc.py" >> gendoc.txt 2> /dev/null || exit echo "checking for parse errors" -python "$TESTDIR/../doc/docchecker" gendoc.txt -python "$TESTDIR/../doc/runrst" html gendoc.txt /dev/null +"$PYTHON" "$TESTDIR/../doc/docchecker" gendoc.txt +"$PYTHON" "$TESTDIR/../doc/runrst" html gendoc.txt /dev/null