diff options
author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | 2024-10-03 16:19:14 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-10-03 16:19:14 (GMT) |
commit | 4392c5980daaa3ee30b9cd13536726bb3c25d469 (patch) | |
tree | e8b567642f6ff66f60b73a0a46c13973f9e8603c /Doc/tools/extensions/patchlevel.py | |
parent | bde4ae10ba4dc3e82f824c3639947c0eed50cdf3 (diff) | |
download | cpython-4392c5980daaa3ee30b9cd13536726bb3c25d469.zip cpython-4392c5980daaa3ee30b9cd13536726bb3c25d469.tar.gz cpython-4392c5980daaa3ee30b9cd13536726bb3c25d469.tar.bz2 |
[3.13] Doc: Fix archive filenames for standard builds (GH-124826) (#124836)
Doc: Fix archive filenames for standard builds (GH-124826)
(cherry picked from commit 91e64be731fe42e6b252b95d79d900251388bfc6)
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
Diffstat (limited to 'Doc/tools/extensions/patchlevel.py')
-rw-r--r-- | Doc/tools/extensions/patchlevel.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/tools/extensions/patchlevel.py b/Doc/tools/extensions/patchlevel.py index 53ea1bf..9ccaec3 100644 --- a/Doc/tools/extensions/patchlevel.py +++ b/Doc/tools/extensions/patchlevel.py @@ -74,4 +74,8 @@ def get_version_info(): if __name__ == "__main__": - print(format_version_info(get_header_version_info())[0]) + short_ver, full_ver = format_version_info(get_header_version_info()) + if sys.argv[1:2] == ["--short"]: + print(short_ver) + else: + print(full_ver) |