From 41eb94ba794741edc07ae68ebee01961c90458a3 Mon Sep 17 00:00:00 2001 From: Athan Reines Date: Sat, 8 Jul 2023 15:26:49 -0700 Subject: [PATCH 1/2] Ensure variable is defined --- spec/_static/javascripts/version_dropdown.js | 22 +++++++++++--------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/spec/_static/javascripts/version_dropdown.js b/spec/_static/javascripts/version_dropdown.js index d43ddde52..e4b79fd01 100644 --- a/spec/_static/javascripts/version_dropdown.js +++ b/spec/_static/javascripts/version_dropdown.js @@ -22,16 +22,18 @@ function add_version_dropdown(json_loc, target_loc, text) { $.getJSON(json_loc, function(versions) { var currentURL = window.location.href; var path = currentURL.split("_site")[1]; - path = path.split("/"); - path = path.slice(2, path.length); - path = path.join("/"); - for (var key in versions) { - if (versions.hasOwnProperty(key)) { - var a = document.createElement("a"); - a.innerHTML = key; - a.title = key; - assign_href(a, target_loc + versions[key], path); - content.appendChild(a); + if (path) { + path = path.split("/"); + path = path.slice(2, path.length); + path = path.join("/"); + for (var key in versions) { + if (versions.hasOwnProperty(key)) { + var a = document.createElement("a"); + a.innerHTML = key; + a.title = key; + assign_href(a, target_loc + versions[key], path); + content.appendChild(a); + } } } }).done(function() { From 244796d37ce5dd00ae71cff3dea9730447058ad9 Mon Sep 17 00:00:00 2001 From: Athan Reines Date: Sat, 8 Jul 2023 15:31:34 -0700 Subject: [PATCH 2/2] Accommodate both the preview and deployed site --- spec/_static/javascripts/version_dropdown.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/_static/javascripts/version_dropdown.js b/spec/_static/javascripts/version_dropdown.js index e4b79fd01..ad54ff16b 100644 --- a/spec/_static/javascripts/version_dropdown.js +++ b/spec/_static/javascripts/version_dropdown.js @@ -21,7 +21,7 @@ function add_version_dropdown(json_loc, target_loc, text) { dropdown.appendChild(content); $.getJSON(json_loc, function(versions) { var currentURL = window.location.href; - var path = currentURL.split("_site")[1]; + var path = currentURL.split(/_site|array_api/)[1]; if (path) { path = path.split("/"); path = path.slice(2, path.length);