From 8700a4769a02bc585301bd037712bc7dcdee0de1 Mon Sep 17 00:00:00 2001
From: Anton Akhmerov <anton.akhmerov@gmail.com>
Date: Sun, 2 Jun 2019 10:43:12 +0200
Subject: [PATCH] use the correct python executable when building docs

Closes issue #299
---
 doc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index a0b1e46b..33f9546f 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -30,11 +30,11 @@ clean:
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
 latex: Makefile $(GENERATEDPDF)
-	cd .. ; python setup.py build ; cd -
+	cd .. ; python3 setup.py build ; cd -
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	cd .. ; python setup.py build ; cd -
+	cd .. ; python3 setup.py build ; cd -
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
-- 
GitLab