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 fceff4dbce..0fcbb993be 100755 --- a/documentation/set_versions.py +++ b/documentation/set_versions.py | |||
| @@ -207,7 +207,7 @@ with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switch | |||
| 207 | lines = r.readlines() | 207 | lines = r.readlines() |
| 208 | for line in lines: | 208 | for line in lines: |
| 209 | if "VERSIONS_PLACEHOLDER" in line: | 209 | if "VERSIONS_PLACEHOLDER" in line: |
| 210 | w.write(" 'dev': 'dev (%s)',\n" % release_series[devbranch]) | 210 | w.write(" 'dev': { 'title': 'dev (%s)', 'obsolete': false,},\n" % release_series[devbranch]) |
| 211 | for branch in activereleases: | 211 | for branch in activereleases: |
| 212 | if branch == devbranch: | 212 | if branch == devbranch: |
| 213 | continue | 213 | continue |
| @@ -219,9 +219,9 @@ with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switch | |||
| 219 | if versions[-1] != "0": | 219 | if versions[-1] != "0": |
| 220 | version = version + "." + versions[-1] | 220 | version = version + "." + versions[-1] |
| 221 | versions.append(version) | 221 | versions.append(version) |
| 222 | w.write(" '%s': '%s',\n" % (version, version)) | 222 | w.write(" '%s': {'title': '%s', 'obsolete': %s,},\n" % (version, version, str(branch == ourseries).lower())) |
| 223 | if ourversion not in versions and ourseries != devbranch: | 223 | if ourversion not in versions and ourseries != devbranch: |
| 224 | w.write(" '%s': '%s',\n" % (ourversion, ourversion)) | 224 | w.write(" '%s': {'title': '%s', 'obsolete': true,},\n" % (ourversion, ourversion)) |
| 225 | else: | 225 | else: |
| 226 | w.write(line) | 226 | w.write(line) |
| 227 | 227 | ||
