Commit 4247d782 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Use Py3.7 to build docs

parent 48690af3

build-docs.sh

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 


set -e



PY_EXE=python3.5

PY_EXE=python3.7



echo "-----------------------------------------------"

echo "Current directory: $(pwd)"