diff options
Diffstat (limited to 'documentation/set_versions.py')
-rwxr-xr-x | documentation/set_versions.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/documentation/set_versions.py b/documentation/set_versions.py index fc179ee195..261c1eeb37 100755 --- a/documentation/set_versions.py +++ b/documentation/set_versions.py | |||
@@ -203,6 +203,9 @@ versions = [] | |||
203 | with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switchers.js", "w") as w: | 203 | with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switchers.js", "w") as w: |
204 | lines = r.readlines() | 204 | lines = r.readlines() |
205 | for line in lines: | 205 | for line in lines: |
206 | if "ALL_RELEASES_PLACEHOLDER" in line: | ||
207 | w.write(str(list(release_series.keys()))) | ||
208 | continue | ||
206 | if "VERSIONS_PLACEHOLDER" in line: | 209 | if "VERSIONS_PLACEHOLDER" in line: |
207 | w.write(" 'dev': { 'title': 'dev (%s)', 'obsolete': false,},\n" % release_series[devbranch]) | 210 | w.write(" 'dev': { 'title': 'dev (%s)', 'obsolete': false,},\n" % release_series[devbranch]) |
208 | for branch in activereleases + ([ourseries] if ourseries not in activereleases else []): | 211 | for branch in activereleases + ([ourseries] if ourseries not in activereleases else []): |