[Python-Dev] Cannot build new documentation
Amaury Forgeot d'Arc
amauryfa at gmail.com
Tue Aug 21 00:26:51 CEST 2007
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
More information about the Python-Dev
mailing list