diff options
Diffstat (limited to 'documentation/set_versions.py')
-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 9f0d794292..7a5f336115 100755 --- a/documentation/set_versions.py +++ b/documentation/set_versions.py | |||
@@ -220,7 +220,7 @@ with open("sphinx-static/switchers.js.in", "r") as r, open("sphinx-static/switch | |||
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': '%s',\n" % (version, version)) |
223 | if ourversion not in versions: | 223 | if ourversion not in versions and ourbranch != devbranch: |
224 | w.write(" '%s': '%s',\n" % (ourversion, ourversion)) | 224 | w.write(" '%s': '%s',\n" % (ourversion, ourversion)) |
225 | else: | 225 | else: |
226 | w.write(line) | 226 | w.write(line) |