summaryrefslogtreecommitdiffstats
path: root/documentation/sphinx-static
diff options
context:
space:
mode:
authorNicolas Dechesne <nicolas.dechesne@linaro.org>2020-09-11 10:14:05 +0200
committerRichard Purdie <richard.purdie@linuxfoundation.org>2020-09-17 10:09:35 +0100
commitd313d972bf592de77f2af13cb3fc4226247cb1a1 (patch)
tree72bd6c46beb5792bbf9683820969d3b87ea50921 /documentation/sphinx-static
parent3b0d97fe96e6f76d7d0839ef3b903b59c5cae6a2 (diff)
downloadpoky-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')
-rw-r--r--documentation/sphinx-static/switchers.js6
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) {