diff --git a/bob/devtools/release.py b/bob/devtools/release.py
index a24d4ee1b8b6c75af8cadd4d2e4d22b67a1a0377..00f5384850e0a280d1ca4e5429d95de486d8eb6d 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)