Doc: Fix archive filenames for standard builds (#124826)

This commit is contained in:
Adam Turner 2024-10-01 10:43:55 +01:00 committed by GitHub
parent 4129a74a37
commit 91e64be731
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 9 additions and 3 deletions

View File

@ -305,13 +305,15 @@ serve:
# for development releases: always build # for development releases: always build
.PHONY: autobuild-dev .PHONY: autobuild-dev
autobuild-dev: DISTVERSION = $(shell $(PYTHON) tools/extensions/patchlevel.py --short)
autobuild-dev: autobuild-dev:
$(MAKE) dist-no-html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' $(MAKE) dist-no-html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' DISTVERSION=$(DISTVERSION)
# for HTML-only rebuilds # for HTML-only rebuilds
.PHONY: autobuild-dev-html .PHONY: autobuild-dev-html
autobuild-dev-html: DISTVERSION = $(shell $(PYTHON) tools/extensions/patchlevel.py --short)
autobuild-dev-html: autobuild-dev-html:
$(MAKE) dist-html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' $(MAKE) dist-html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' DISTVERSION=$(DISTVERSION)
# for stable releases: only build if not in pre-release stage (alpha, beta) # for stable releases: only build if not in pre-release stage (alpha, beta)
# release candidate downloads are okay, since the stable tree can be in that stage # release candidate downloads are okay, since the stable tree can be in that stage

View File

@ -74,4 +74,8 @@ def get_version_info():
if __name__ == "__main__": 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)