diff --git a/doc/Makefile b/doc/Makefile
index 28f86b153fab74b06e65fab437a639e557a48974..5964b6d9877aa203e073f3923516b3ff7d206905 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