diff options
Diffstat (limited to 'Doc/tools/sphinx-build.py')
| -rw-r--r-- | Doc/tools/sphinx-build.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Doc/tools/sphinx-build.py b/Doc/tools/sphinx-build.py index 8f952be..ed2366b 100644 --- a/Doc/tools/sphinx-build.py +++ b/Doc/tools/sphinx-build.py @@ -11,14 +11,14 @@ import sys if __name__ == '__main__': - if sys.version_info[:3] < (2, 5, 1): - print >>sys.stderr, """\ -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``). -""" - sys.exit(1) +# if sys.version_info[:3] < (2, 5, 1): +# print >>sys.stderr, """\ +#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``). +#""" +# sys.exit(1) from sphinx import main sys.exit(main(sys.argv)) |