From 94a7470abfe0c57187d2a438e0e08af315cb73e9 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 15 Jul 2021 13:47:12 +0200
Subject: [PATCH] [release] Fix readme updates and closes #78
---
bob/devtools/release.py | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/bob/devtools/release.py b/bob/devtools/release.py
index a24d4ee1..00f53848 100644
--- a/bob/devtools/release.py
+++ b/bob/devtools/release.py
@@ -106,9 +106,8 @@ def _update_readme(readme, version):
replacement = "/v%s" % version if version is not None else "/master"
line = BRANCH_RE.sub(replacement, line)
if ("software/bob" in line) or ("software/beat" in line): # our doc server
- if "master" not in line: # don't replace 'latest' pointer
- replacement = "/v%s" % version if version is not None else "/stable"
- line = BRANCH_RE.sub(replacement, line)
+ replacement = "/v%s" % version if version is not None else "/stable"
+ line = BRANCH_RE.sub(replacement, line)
if DOC_IMAGE.search(line) is not None:
replacement = "-v%s-" % version if version is not None else "-stable-"
line = DOC_IMAGE.sub(replacement, line)
--
GitLab