diff options
author | Martin v. Löwis <martin@v.loewis.de> | 2012-05-01 14:27:55 (GMT) |
---|---|---|
committer | Martin v. Löwis <martin@v.loewis.de> | 2012-05-01 14:27:55 (GMT) |
commit | 24a05f787ed322bc39dc3a226f8ff6fd002d3cf4 (patch) | |
tree | 0cc83f05778cb63a748ac6d82f0c8657f195bf20 /Doc/tools | |
parent | 1503eed688b425275b6da8af44f156c704517147 (diff) | |
download | cpython-24a05f787ed322bc39dc3a226f8ff6fd002d3cf4.zip cpython-24a05f787ed322bc39dc3a226f8ff6fd002d3cf4.tar.gz cpython-24a05f787ed322bc39dc3a226f8ff6fd002d3cf4.tar.bz2 |
Include micro version even if it is 0.
Diffstat (limited to 'Doc/tools')
-rw-r--r-- | Doc/tools/sphinxext/patchlevel.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Doc/tools/sphinxext/patchlevel.py b/Doc/tools/sphinxext/patchlevel.py index b070d60..bca2eb8 100644 --- a/Doc/tools/sphinxext/patchlevel.py +++ b/Doc/tools/sphinxext/patchlevel.py @@ -34,8 +34,7 @@ def get_header_version_info(srcdir): release = version = '%s.%s' % (d['PY_MAJOR_VERSION'], d['PY_MINOR_VERSION']) micro = int(d['PY_MICRO_VERSION']) - if micro != 0: - release += '.' + str(micro) + release += '.' + str(micro) level = d['PY_RELEASE_LEVEL'] suffixes = { @@ -51,8 +50,7 @@ def get_header_version_info(srcdir): def get_sys_version_info(): major, minor, micro, level, serial = sys.version_info release = version = '%s.%s' % (major, minor) - if micro: - release += '.%s' % micro + release += '.%s' % micro if level != 'final': release += '%s%s' % (level[0], serial) return version, release |