[Python-Dev] Cannot build new documentation

[Georg Brandl]

Amaury Forgeot d'Arc schrieb:
> 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.)
>  """

Yes, this is reasonable.

Georg


-- 
Thus spake the Lord: Thou shalt indent with four spaces. No more, no less.
Four shall be the number of spaces thou shalt indent, and the number of thy
indenting shall be four. Eight shalt thou not indent, nor either indent thou
two, excepting that thou then proceed to four. Tabs are right out.