diff options
| -rw-r--r-- | Doc/tools/sphinx-build.py | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/Doc/tools/sphinx-build.py b/Doc/tools/sphinx-build.py index f18af29..ab9f40d 100644 --- a/Doc/tools/sphinx-build.py +++ b/Doc/tools/sphinx-build.py @@ -11,13 +11,12 @@ import sys if __name__ == '__main__': - if sys.version_info[:3] < (2, 5, 1): - print("""\ -Error: Sphinx needs to be executed with Python 2.5.1 or newer -(If you run this from the Makefile, you can set the PYTHON variable -to the path of an alternative interpreter executable, e.g., -``make html PYTHON=python2.5``). -""", file=sys.stderr) + if not (2, 5, 1) <= sys.version_info[:3] < (3, 0, 0): + sys.stderr.write("""\ +Error: Sphinx needs to be executed with Python 2.5.1 or newer (not 3.0 though). +If you run this from the Makefile, you can set the PYTHON variable to the path +of an alternative interpreter executable, e.g., ``make html PYTHON=python2.5``.) +""") sys.exit(1) from sphinx import main |