diff --git a/main/footer.js b/main/footer.js index a8b3601d..98882d4f 100644 --- a/main/footer.js +++ b/main/footer.js @@ -1,7 +1,7 @@ function writeHeader() { - document.write('Version 1.10.2-dev2'); + document.write('Version 1.10.2-dev1'); }; function writeFooter() { - document.write('Generated on Tue Jul 5 2022 09:35:33 for CMSIS-DSP 1.10.2-dev2+ge0e5607. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.'); + document.write('Generated on Tue Jul 5 2022 09:59:00 for CMSIS-DSP 1.10.2-dev1+gf69e2d4. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.'); }; diff --git a/version.js b/version.js index 6b92494e..53643165 100644 --- a/version.js +++ b/version.js @@ -1,7 +1,7 @@ //--- list of versions --- const versions = { - "main": "1.10.2-dev1", - "latest": "1.10.1" + "latest": "1.10.1", + "v1.10.1": "1.10.1","main": "1.10.2-dev1",".git": "" } //--- list of versions --- diff --git a/version.js.bak b/version.js.bak new file mode 100644 index 00000000..6b92494e --- /dev/null +++ b/version.js.bak @@ -0,0 +1,57 @@ +//--- list of versions --- +const versions = { + "main": "1.10.2-dev1", + "latest": "1.10.1" +} +//--- list of versions --- + +var scripts = document.getElementsByTagName("script"), +scriptUrl = new URL(scripts[scripts.length-1].src); +docUrl = new URL(document.URL); +baseUrl = new URL(scriptUrl) +baseUrl.pathname = baseUrl.pathname.split('/').slice(0,-1).join("/") + +function urlForVersion(url, version) { + url = new URL(url); + pathname = url.pathname.replace(baseUrl.pathname, ""); + parts = pathname.split("/"); + parts[1] = version; + url.pathname = baseUrl.pathname + parts.join("/"); + return url +} + +function writeVersionDropdown() { + currentVersion = document.currentScript.parentNode.innerText; + document.currentScript.parentNode.classList.add("dropdown"); + document.currentScript.parentNode.innerText = ""; + document.write(' '+currentVersion+''); + document.write('