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