diff --git a/docs/_static/searchtools_custom.js b/docs/_static/searchtools_custom.js index 42c449399531..dcc147329b13 100644 --- a/docs/_static/searchtools_custom.js +++ b/docs/_static/searchtools_custom.js @@ -458,6 +458,16 @@ var Search = { } else { // normal html builders var baseURL = 'https://' + window.location.hostname + '/'; + var urlHref = window.location.href; + let urlSplits = urlHref.split("/"); + let versionString = ''; + for (var idx = 0; idx < urlSplits.length; ++idx) { + if(urlSplits[idx] == 'versions') { + versionString = 'versions/' + urlSplits[idx + 1] + '/'; + break; + } + } + baseURL = baseURL.concat(versionString); listItem.append($('').attr('href', baseURL + item[0] + DOCUMENTATION_OPTIONS.FILE_SUFFIX + highlightstring + item[2]).html(item[1]));