From d4804df4a45d373e704a22f7998320cdbfb9bc0a Mon Sep 17 00:00:00 2001
From: Christoph Groth <christoph.groth@cea.fr>
Date: Wed, 11 Nov 2015 16:03:57 +0100
Subject: [PATCH] ensure sphinx is executed with python2

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index c5912dd4..b8d85a85 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -10,7 +10,7 @@
 
 # You can set these variables from the command line.
 SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build
+SPHINXBUILD   = python2 -c 'import sys, sphinx; sys.exit(sphinx.main(sys.argv))'
 PAPER         =
 BUILDDIR      = build
 
-- 
GitLab