diff options
Diffstat (limited to 'documentation')
-rwxr-xr-x | documentation/set_versions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/set_versions.py b/documentation/set_versions.py index 0086e9bea3..fc179ee195 100755 --- a/documentation/set_versions.py +++ b/documentation/set_versions.py | |||
@@ -218,7 +218,7 @@ with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switch | |||
218 | versions.append(version) | 218 | versions.append(version) |
219 | w.write(" '%s': {'title': '%s', 'obsolete': %s,},\n" % (version, version, str(branch not in activereleases).lower())) | 219 | w.write(" '%s': {'title': '%s', 'obsolete': %s,},\n" % (version, version, str(branch not in activereleases).lower())) |
220 | if ourversion not in versions and ourseries != devbranch: | 220 | if ourversion not in versions and ourseries != devbranch: |
221 | w.write(" '%s': {'title': '%s', 'obsolete': true,},\n" % (ourversion, ourversion)) | 221 | w.write(" '%s': {'title': '%s', 'obsolete': %s,},\n" % (ourversion, ourversion, str(ourseries not in activereleases).lower())) |
222 | else: | 222 | else: |
223 | w.write(line) | 223 | w.write(line) |
224 | 224 | ||