From 01388c9091464f93fcf83a0d21e2c9485ebfa383 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] run sphinx using python3

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

diff --git a/doc/Makefile b/doc/Makefile
index 28f86b15..5964b6d9 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   = python3 -c 'import sys, sphinx; sys.exit(sphinx.main(sys.argv))'
 PAPER         =
 BUILDDIR      = build
 
-- 
GitLab