Now builds when you have two sphinx versions

nilsbore · Jun 25, 2019 · a968510 · a968510
1 parent c19fb40
commit a968510
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Makefile b/docs/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line.
 SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build
+SPHINXBUILD   = python -msphinx
 SOURCEDIR     = .
 BUILDDIR      = .