diff options
Diffstat (limited to 'documentation/set_versions.py')
-rwxr-xr-x | documentation/set_versions.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/documentation/set_versions.py b/documentation/set_versions.py index c4be1ae41e..c409d5ea86 100755 --- a/documentation/set_versions.py +++ b/documentation/set_versions.py | |||
@@ -211,7 +211,7 @@ with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switch | |||
211 | w.write(str(list(release_series.keys()))) | 211 | w.write(str(list(release_series.keys()))) |
212 | continue | 212 | continue |
213 | if "VERSIONS_PLACEHOLDER" in line: | 213 | if "VERSIONS_PLACEHOLDER" in line: |
214 | w.write(" 'dev': { 'title': 'dev (%s)', 'obsolete': false,},\n" % release_series[devbranch]) | 214 | w.write(" 'dev': { 'title': 'Unstable (dev)', 'obsolete': false,},\n") |
215 | for branch in activereleases + ([ourseries] if ourseries not in activereleases else []): | 215 | for branch in activereleases + ([ourseries] if ourseries not in activereleases else []): |
216 | if branch == devbranch: | 216 | if branch == devbranch: |
217 | continue | 217 | continue |
@@ -223,9 +223,9 @@ with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switch | |||
223 | if branch_versions[-1] != "0": | 223 | if branch_versions[-1] != "0": |
224 | version = version + "." + branch_versions[-1] | 224 | version = version + "." + branch_versions[-1] |
225 | versions.append(version) | 225 | versions.append(version) |
226 | w.write(" '%s': {'title': '%s', 'obsolete': %s,},\n" % (version, version, str(branch not in activereleases).lower())) | 226 | w.write(" '%s': {'title': '%s (%s)', 'obsolete': %s,},\n" % (version, branch.capitalize(), version, str(branch not in activereleases).lower())) |
227 | if ourversion not in versions and ourseries != devbranch: | 227 | if ourversion not in versions and ourseries != devbranch: |
228 | w.write(" '%s': {'title': '%s', 'obsolete': %s,},\n" % (ourversion, ourversion, str(ourseries not in activereleases).lower())) | 228 | w.write(" '%s': {'title': '%s (%s)', 'obsolete': %s,},\n" % (ourversion, ourseries.capitalize(), ourversion, str(ourseries not in activereleases).lower())) |
229 | else: | 229 | else: |
230 | w.write(line) | 230 | w.write(line) |
231 | 231 | ||