diff options
| author | Martin v. Löwis <martin@v.loewis.de> | 2012-05-01 16:27:55 +0200 |
|---|---|---|
| committer | Martin v. Löwis <martin@v.loewis.de> | 2012-05-01 16:27:55 +0200 |
| commit | 24a05f787ed322bc39dc3a226f8ff6fd002d3cf4 (patch) | |
| tree | 0cc83f05778cb63a748ac6d82f0c8657f195bf20 /Doc/tools/sphinxext | |
| parent | 1503eed688b425275b6da8af44f156c704517147 (diff) | |
| download | cpython-git-24a05f787ed322bc39dc3a226f8ff6fd002d3cf4.tar.gz | |
Include micro version even if it is 0.
Diffstat (limited to 'Doc/tools/sphinxext')
| -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 b070d60a42..bca2eb8bad 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 |