diff --git a/doc/make.py b/doc/make.py index d02fe47d61442378ca89be9294d49209ff72c839..39d6fa3b76c7b4790748ace5fef1527b64f5d2e1 100644 --- a/doc/make.py +++ b/doc/make.py @@ -92,7 +92,7 @@ if opts.quiet: for sub_dir in ('modules',): os.path.walk(sub_dir, _CollectRstDocs, 'doc/source') -sphinx_bin=settings.Locate(['sphinx-build', 'sphinx-build-2.6']) +sphinx_bin=settings.Locate(['sphinx-build', 'sphinx-build-2.6','sphinx-build-2.7']) if opts.html: cmd='%s %s -b html -c %s %s %s' % (sphinx_bin, opt_str,