diff --git a/documentation/set_versions.py b/documentation/set_versions.py index b2859381e4..af237f29e1 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 version = version + "." + versions[-1] versions.append(version) w.write(" '%s': '%s',\n" % (version, version)) - if ourversion not in versions and ourbranch != devbranch: + if ourversion not in versions: w.write(" '%s': '%s',\n" % (ourversion, ourversion)) else: w.write(line)