From 59e6059513ea53954176096152b8c04f20198cbf Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Tue, 10 Sep 2024 17:37:04 +0200 Subject: [PATCH] doc-sync: strip point release from version before uploading We create subdirectories for each major release, but not for point releases so strip the suffix if it is present --- tools/sync-docs.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/sync-docs.py b/tools/sync-docs.py index 95436e2710a..86fe1a8ed7e 100755 --- a/tools/sync-docs.py +++ b/tools/sync-docs.py @@ -94,6 +94,8 @@ def get_latest_version(): def main(version, directory, www_target): index_filename = os.path.join(directory, "index.json") nav_filename = os.path.join(directory, "nav.js") + # The upload directory does not contain point release suffixes + version = re.sub(r"\..+$", "", version) current_branch = subprocess.check_output(["git", "branch", "--show-current"], text=True).strip()