diff options
-rw-r--r-- | Doc/tools/sphinxext/patchlevel.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Doc/tools/sphinxext/patchlevel.py b/Doc/tools/sphinxext/patchlevel.py index 821e3be..cb9e35c 100644 --- a/Doc/tools/sphinxext/patchlevel.py +++ b/Doc/tools/sphinxext/patchlevel.py @@ -63,10 +63,9 @@ def get_version_info(): return get_header_version_info('.') except (IOError, OSError): version, release = get_sys_version_info() - print('Can\'t get version info from Include/patchlevel.h, ' - 'using version of this interpreter (%s).' % release, - file=sys.stderr) + print >>sys.stderr, 'Can\'t get version info from Include/patchlevel.h, ' \ + 'using version of this interpreter (%s).' % release return version, release if __name__ == '__main__': - print(get_header_version_info('.')[1]) + print get_header_version_info('.')[1] |