diff options
| author | Luca Boccassi <bluca@debian.org> | 2024-09-10 17:37:04 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2024-09-10 20:20:01 +0200 |
| commit | 59e6059513ea53954176096152b8c04f20198cbf (patch) | |
| tree | 910282954bd13fde65f64465c55200634198226a /tools | |
| parent | cryptsetup: use the new crypt_token_set_external_path() API if available (diff) | |
| download | systemd-59e6059513ea53954176096152b8c04f20198cbf.tar.xz systemd-59e6059513ea53954176096152b8c04f20198cbf.zip | |
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
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/sync-docs.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/sync-docs.py b/tools/sync-docs.py index 95436e2710..86fe1a8ed7 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() |