Merge branch 'fix-make-docs' into 'master'

Move pyenv out of makefile

See merge request !1103

.gitlab-ci.yml

@@ -18,7 +18,7 @@ build_docs:
   stage: build
   script:
     - cd docs
-    - make html
+    - pyenv local 3.6.3 && make html
     - CI_LATEST_OUTPUT_PATH=/mace-build-output/$CI_PROJECT_NAME/latest
     - CI_JOB_OUTPUT_PATH=/mace-build-output/$CI_PROJECT_NAME/$CI_PIPELINE_ID
     - rm -rf $CI_JOB_OUTPUT_PATH

docs/Makefile

@@ -17,5 +17,4 @@ help:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	pyenv local 3.6.3
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)