diff options
Diffstat (limited to 'documentation/sphinx-static/switchers.js')
| -rw-r--r-- | documentation/sphinx-static/switchers.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/documentation/sphinx-static/switchers.js b/documentation/sphinx-static/switchers.js index c8a94d93ba..32113cfa96 100644 --- a/documentation/sphinx-static/switchers.js +++ b/documentation/sphinx-static/switchers.js | |||
| @@ -180,12 +180,12 @@ | |||
| 180 | var current_version = DOCUMENTATION_OPTIONS.VERSION; | 180 | var current_version = DOCUMENTATION_OPTIONS.VERSION; |
| 181 | // Assume manuals before 3.2 are using old docbook mega-manual | 181 | // Assume manuals before 3.2 are using old docbook mega-manual |
| 182 | if (ver_compare(current_version, "3.2") < 0) { | 182 | if (ver_compare(current_version, "3.2") < 0) { |
| 183 | var new_url = docroot + "/mega-manual/mega-manual.html"; | 183 | var new_url = docroot + "mega-manual/mega-manual.html"; |
| 184 | } else { | 184 | } else { |
| 185 | var new_url = docroot + "/singleindex.html"; | 185 | var new_url = docroot + "singleindex.html"; |
| 186 | } | 186 | } |
| 187 | } else { | 187 | } else { |
| 188 | var new_url = url.replace("/singleindex.html", "/index.html") | 188 | var new_url = url.replace("singleindex.html", "index.html") |
| 189 | } | 189 | } |
| 190 | 190 | ||
| 191 | if (new_url != url) { | 191 | if (new_url != url) { |