diff --git a/doc/Makefile b/doc/Makefile
index c5912dd40ed19da8bf6d33e5e9d4cbd5b2065630..b8d85a8567bfd8e445091a8c72a108520fbfa7f2 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