Hello,
Martin v. Löwis wrote:
> I think the obvious thing you missed is that the problem got fixed
> already. Whether the documentation system should be more defensive and
> work with 2.5.0 also is a different question.
<red of confusion>You are right. python 2.5.1 corrected this.
May I still dare propose the following patch:
Index: Doc/tools/sphinx-build.py
===================================================================
--- Doc/tools/sphinx-build.py (revision 57158)
+++ Doc/tools/sphinx-build.py (working copy)
@@ -11,9 +11,9 @@
if __name__ == '__main__':
- if sys.version_info[:3] < (2, 5, 0):
+ if sys.version_info[:3] < (2, 5, 1):
print >>sys.stderr, """\
-Error: Sphinx needs to be executed with Python 2.5 or newer.
+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.)
"""
--
Amaury Forgeot d'Arc
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
