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) |
