summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAntonin Godard <antonin.godard@bootlin.com>2024-11-06 08:48:27 +0100
committerSteve Sakoman <steve@sakoman.com>2024-11-18 06:59:35 -0800
commit217e1de9e8df84541900145e2f312beabe8c67d4 (patch)
tree29a5e1020679e82f083dfc6df86cec6c5b00666f
parent1371c1106beff6e33cfb46d5c509d42e566eb50c (diff)
downloadpoky-217e1de9e8df84541900145e2f312beabe8c67d4.tar.gz
sphinx-static/switchers.js.in: do not refer to URL_ROOT anymore
This variable was removed from the Sphinx-generated documentation_options.js, thus breaking the current implementation of our switchers.js. Like searchtools.js, which is also generated by Sphinx, use document.documentElement.dataset.content_root as a replacement. To be backwards-compatible to get one or the other. (From yocto-docs rev: d8f4e179dd80e2f2618adfe12dbddad4bd29d488) Signed-off-by: Antonin Godard <antonin.godard@bootlin.com> (cherry picked from commit 2849690abf94872e259e712128e90413f3b9a2f2) Signed-off-by: Antonin Godard <antonin.godard@bootlin.com> Signed-off-by: Steve Sakoman <steve@sakoman.com>
-rw-r--r--documentation/sphinx-static/switchers.js.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/documentation/sphinx-static/switchers.js.in b/documentation/sphinx-static/switchers.js.in
index 8c016859bc..b1c0812b53 100644
--- a/documentation/sphinx-static/switchers.js.in
+++ b/documentation/sphinx-static/switchers.js.in
@@ -133,7 +133,13 @@ by https://git.yoctoproject.org/yocto-autobuilder-helper/tree/scripts/run-docs-b
133 133
134 function get_docroot_url() { 134 function get_docroot_url() {
135 var url = window.location.href; 135 var url = window.location.href;
136 // Try to get the variable from documentation_options.js
136 var root = DOCUMENTATION_OPTIONS.URL_ROOT; 137 var root = DOCUMENTATION_OPTIONS.URL_ROOT;
138 if (root == null) {
139 // In recent versions of Sphinx, URL_ROOT was removed from
140 // documentation_options.js, so get it like searchtools.js does.
141 root = document.documentElement.dataset.content_root;
142 }
137 143
138 var urlarray = url.split('/'); 144 var urlarray = url.split('/');
139 // Trim off anything after '/' 145 // Trim off anything after '/'