diff options
author | Antonin Godard <antonin.godard@bootlin.com> | 2024-11-06 08:48:27 +0100 |
---|---|---|
committer | Steve Sakoman <steve@sakoman.com> | 2024-11-15 06:05:32 -0800 |
commit | ba512d8df399c765947fba438d742022a942b9ab (patch) | |
tree | 5aa2235f506996d1cfe80840d46363c53769089d | |
parent | 5eb5e3544592c616af7e3f437b7a32aa78ca064e (diff) | |
download | poky-ba512d8df399c765947fba438d742022a942b9ab.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: 6c16f7481b8b175271072062925959bbaba2ec5f)
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.in | 6 |
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 '/' |