diff --git a/manual/Makefile b/manual/Makefile index 7584f3c..b516693 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -3,7 +3,7 @@ # You can set these variables from the command line. SPHINXOPTS = -SPHINXBUILD = sphinx-build-3 +SPHINXBUILD = `which sphinx-build-3 || which sphinx-build` PAPER = # Internal variables.