diff options
| author | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2020-09-11 10:14:05 +0200 |
|---|---|---|
| committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2020-09-17 10:09:35 +0100 |
| commit | d313d972bf592de77f2af13cb3fc4226247cb1a1 (patch) | |
| tree | 72bd6c46beb5792bbf9683820969d3b87ea50921 /documentation/sphinx-static/switchers.js | |
| parent | 3b0d97fe96e6f76d7d0839ef3b903b59c5cae6a2 (diff) | |
| download | poky-d313d972bf592de77f2af13cb3fc4226247cb1a1.tar.gz | |
sphinx: remove leading '/'
When switching back and forth between between regular and mega manual
an extra '/' keeps being added to the URL.
Reported-by: Quentin Schulz <quentin.schulz@streamunlimited.com>
(From yocto-docs rev: 4cb64afb2ab544d3f6433adc64824414838648ac)
Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
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) { |
